Repositories list

• web

  Public
  PHP

  •0•0•0•0•Updated Aug 6, 2023Aug 6, 2023

• bitfunctor

  Public
  Decentralized blockchain-based storage of the automatically-verifiably correct (certified) code as well as generalized blockchain platform

  coqagdablockchain-platform+ 1certified-programming

  Haskell

  •

  MIT License

  •0•3•1•0•Updated Sep 23, 2017Sep 23, 2017

• bitfunctor-theory

  Public
  Haskell

  •

  MIT License

  •0•0•0•0•Updated Jul 13, 2017Jul 13, 2017

• bitfunctor.github.io

  Public
  0•0•0•0•Updated Nov 22, 2015Nov 22, 2015

• bitfunctor-hackaton-moscow-nov2015

  Public
  bitfunctor.net project

  Haskell

  •1•0•0•0•Updated Nov 16, 2015Nov 16, 2015