Skip to content
@bitml-lang

bitml-lang

Popular repositories Loading

  1. bitml-compiler bitml-compiler Public

    Compiler for BitML

    JavaScript 28 4

  2. bitml-maude bitml-maude Public

    Python 6 1

  3. bitml-doc bitml-doc Public

    BitML documentation

    Python 5 4

  4. bitcoin-contracts bitcoin-contracts Public

    Scala 3 1

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

    Scala

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

    HTML

Repositories

Showing 6 of 6 repositories
  • bitml-compiler Public

    Compiler for BitML

    JavaScript 28 GPL-3.0 4 0 0 Updated Mar 10, 2022
  • bitml-lang.github.io Public
    HTML 0 0 0 0 Updated Mar 9, 2022
  • bitml-doc Public

    BitML documentation

    Python 5 GPL-3.0 4 0 0 Updated Mar 6, 2021
  • bitml-maude Public
    Python 6 GPL-3.0 1 0 0 Updated Nov 8, 2020
  • bitcoin-contracts Public
    Scala 3 1 0 0 Updated Aug 9, 2020
  • api-scala-dev Public
    Scala 0 0 0 0 Updated Jul 7, 2020