Skip to content
@functori

Functori

Functori, Tailor-Made Solutions Built With Fun* | Software Development, Programming Languages, Blockchains & dApps, Formal Methods.

Popular repositories Loading

  1. ocamldot-tool ocamldot-tool Public

    Based on Jim Trevor's work, includes modifications made in/for Infer by Josh Berdine

    OCaml 4 1

  2. tezos-indexer tezos-indexer Public

    Forked from maxtori/tezos-indexer

    Kotlin

  3. serde-reflection serde-reflection Public

    Forked from zefchain/serde-reflection

    Rust libraries and tools to help with interoperability and testing of serialization formats based on Serde.

    Rust

  4. segmented-cfmm segmented-cfmm Public

    Forked from tezos-checker/segmented-cfmm

    segmented-cfmm

    Haskell

  5. app-exchange app-exchange Public

    Python

  6. evm evm Public

    Forked from rust-ethereum/evm

    Pure Rust implementation of Ethereum Virtual Machine

    Rust

Repositories

Showing 6 of 6 repositories

Top languages

Loading…

Most used topics

Loading…