Skip to content

@bitml-lang bitml-lang

Change the repository type filter

All

    Repositories list

    6 repositories

    • bitml-compiler

      Public
      Compiler for BitML
      JavaScript
      •
      GNU General Public License v3.0
      •4•25•0•0•Updated Mar 10, 2022Mar 10, 2022

    • bitml-lang.github.io

      Public
      HTML
      •0•0•0•0•Updated Mar 9, 2022Mar 9, 2022

    • bitml-doc

      Public
      BitML documentation
      Python
      •
      GNU General Public License v3.0
      •3•4•0•0•Updated Mar 6, 2021Mar 6, 2021

    • bitml-maude

      Public
      Python
      •
      GNU General Public License v3.0
      •1•5•0•0•Updated Nov 8, 2020Nov 8, 2020

    • bitcoin-contracts

      Public
      Scala
      •1•2•0•0•Updated Aug 9, 2020Aug 9, 2020

    • api-scala-dev

      Public
      Scala
      •0•0•0•0•Updated Jul 7, 2020Jul 7, 2020