Popular repositories

1. quorum_intersection quorum_intersection Public

   A 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

   C++ 7 1

2. hou hou Public

   A 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

3. hiProlog hiProlog Public

   A toy implementation of a Prolog's interpreter. No cut operator, no negation, just Horn clauses.

   Haskell

4. int256 int256 Public

   Forked from NethermindEth/int256

   .NET Int256

   C#

5. maligned maligned Public

   Forked from mdempsky/maligned

   Tool to detect Go structs that would take less memory if their fields were sorted.

   Go

6. aleph-node aleph-node Public

   Forked from Cardinal-Cryptography/aleph-node

   Node implementation for aleph blockchain built with Substrate framework

   Rust