Popular repositories Loading

1. bitml-compiler bitml-compiler Public

   Compiler for BitML

   JavaScript 25 4

2. bitml-maude bitml-maude Public

   Python 5 1

3. bitml-doc bitml-doc Public

   BitML documentation

   Python 4 3

4. bitcoin-contracts bitcoin-contracts Public

   Scala 2 1

5. api-scala-dev api-scala-dev Public

   Scala

6. bitml-lang.github.io bitml-lang.github.io Public

   HTML