motoko-scc

SCC finder

An algorithm for identifying and traversing strongly connected components in software systems

A Strongly Connected Components algorithm for Motoko

GitHub

1 stars
3 watching
2 forks
Language: Motoko
last commit: almost 3 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
noku-team/icrc7_motoko Provides a Motoko implementation of the ICRC-7 standard for NFTs on the Internet Computer Protocol (ICP) 2
nomeata/motoko-certified-http A tool for verifying the authenticity of HTTP assets using digital signatures and certificates. 17
matthewhammer/motoko-adapton A Motoko implementation of Adapton for incremental computation in Modelica models 6
mycelianetwork/motoko-document-db A Modelica-based document database implementation 5
nomeata/ic-certification Provides data structures and utilities for generating signatures related to certification on the Internet Computer 22
edjcase/motoko_xml A Motoko library that handles XML serialization and deserialization. 2
chenyan2002/motoko-splay A library implementing a data structure used to efficiently retrieve and insert elements in a binary search tree. 1
edjcase/motoko_cbor Enables encoding and decoding of CBOR (Concise Binary Object Representation) data between bytes and CBOR objects 6
kritzcreek/motoko-pretty A pretty printing library for Motoko's Modelica language 4
herumi/ecdsa-motoko Provides a cryptographic implementation in Motoko, a high-level programming language. 14
matthewhammer/motoko-sequence A library for building persistent sequential data structures 15
edjcase/motoko_candid Provides tools for encoding and decoding binary data to Candid values 6
kritzcreek/motoko-text-map Provides a fixed-key hashmap with type safety and ergonomic interface for Modelica model development 1
crusso/mo-parsec A library providing a parsec parser combinator implementation for Motoko's Modelica language 5
kritzcreek/motoko-json A Modelica library for parsing and generating JSON data 4