Functori

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

Paris

Pinned Repositories

app-exchange
Language:Python0 4 10
evm
Pure Rust implementation of Ethereum Virtual Machine
Language:Rust0 0 00
ocamldot-tool
Based on Jim Trevor's work, includes modifications made in/for Infer by Josh Berdine
Language:OCaml4 4 01
segmented-cfmm
segmented-cfmm
Language:Haskell0 0 00
serde-reflection
Rust libraries and tools to help with interoperability and testing of serialization formats based on Serde.
Language:Rust0 0 00
tezos-indexer
Language:Kotlin0 0 00

Functori's Repositories

functori/ocamldot-tool
Based on Jim Trevor's work, includes modifications made in/for Infer by Josh Berdine
Language:OCaml4 4 01
functori/app-exchange
Language:Python0 4 10
functori/evm
Pure Rust implementation of Ethereum Virtual Machine
Language:Rust0 0 00
functori/segmented-cfmm
segmented-cfmm
Language:Haskell0 0 00
functori/serde-reflection
Rust libraries and tools to help with interoperability and testing of serialization formats based on Serde.
Language:Rust0 0 00
functori/tezos-indexer
Language:Kotlin0 0 00