Skip to content

Pinned Loading

  1. bitfunctor bitfunctor Public

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

    Haskell 3

Repositories

Showing 5 of 5 repositories
  • web Public
    BitFunctor/web’s past year of commit activity
    PHP 0 0 0 0 Updated Aug 6, 2023
  • bitfunctor Public

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

    BitFunctor/bitfunctor’s past year of commit activity
    Haskell 3 MIT 0 1 0 Updated Sep 23, 2017
  • BitFunctor/bitfunctor-theory’s past year of commit activity
    Haskell 0 MIT 0 0 0 Updated Jul 13, 2017
  • BitFunctor/bitfunctor.github.io’s past year of commit activity
    0 0 0 0 Updated Nov 22, 2015
  • bitfunctor-hackaton-moscow-nov2015 Public Forked from andruiman/bitfunctor

    bitfunctor.net project

    BitFunctor/bitfunctor-hackaton-moscow-nov2015’s past year of commit activity
    Haskell 0 1 0 0 Updated Nov 16, 2015

Top languages

Loading…

Most used topics

Loading…