Popular repositories Loading
-
quorum_intersection
quorum_intersection PublicA tool for checking the quorum intersection property of the stellar network (https://www.stellar.org/). Details of the algorithm: https://arxiv.org/abs/1902.06493
-
hou
hou PublicA type inference algorithm for SystemF/polymorphic lambda calculus (undecidable problem) and an experimental playground for methods based on the higher-order unification for type inference and type…
Haskell
-
hiProlog
hiProlog PublicA toy implementation of a Prolog's interpreter. No cut operator, no negation, just Horn clauses.
Haskell
-
-
maligned
maligned PublicForked from mdempsky/maligned
Tool to detect Go structs that would take less memory if their fields were sorted.
Go
-
aleph-node
aleph-node PublicForked from Cardinal-Cryptography/aleph-node
Node implementation for aleph blockchain built with Substrate framework
Rust
If the problem persists, check the GitHub status page or contact support.