Popular repositories Loading

1. Isa-REPL Isa-REPL Public

   Isabelle REPL

   Standard ML 19 1

2. Isa-Proof-Shell Isa-Proof-Shell Public

   A proof assistant adapter designed for machine learning

   Standard ML 12

3. Uniswap_v Uniswap_v Public

   Isabelle 10

4. phi-system phi-system Public

   Isabelle 7

5. CrystalGrow CrystalGrow Public

   Just a interest program.

   C# 3 1

6. bridge.cr bridge.cr Public archive

   [WIP] A cross-protocol and cross-serialization RPC framework, designed for easiness, simpleness and performance.

   Crystal 3