Popular repositories Loading

1. Isa-Mini Isa-Mini Public

   A minimal language for Isabelle/HOL, designed for easing machine learning.

   Standard ML 24

2. Uniswap_v Uniswap_v Public

   Isabelle 10

3. phi-system phi-system Public

   Isabelle 9

4. Isa-REPL Isa-REPL Public

   Isabelle REPL

   Standard ML 6

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