serokell / fift-asm-dslLinks
A Haskell eDSL for the TON VM Assembler
☆14Updated 6 years ago
Alternatives and similar repositories for fift-asm-dsl
Users that are interested in fift-asm-dsl are comparing it to the libraries listed below
Sorting:
- Haskoin Node is a Bitcoin and Bitcoin Cash peer-to-peer protocol library☆15Updated 9 months ago
- Haskell bindings to binaryen.☆14Updated 4 years ago
- All contents related to the Mina grant program and projects in scope☆15Updated 3 years ago
- Unclog your changelog☆36Updated last month
- A Formal Semantics of WebAssembly in K☆85Updated last week
- Idris web site☆17Updated last year
- The Keelung Language. A Haskell-embedded DSL for privacy-preserving computation, designed to optimize zero-knowledge proof generation wit…☆53Updated last year
- Lachesis BFT consensus for permission-less networks, in Rust☆34Updated 6 years ago
- An Ethereum contract analyzer.☆19Updated last year
- Haskoin Store is a blockchain storage service with a RESTful API☆29Updated 9 months ago
- A minimal decentralized computer.☆117Updated 4 years ago
- Stegos is a completely private, confidential, and scalable cryptocurrency that’s friendly to the environment☆78Updated 4 years ago
- Formalization of Tendermint proposer election properties☆15Updated 7 years ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 7 years ago
- A minimalistic blockchain consensus implemented and verified in Coq☆114Updated 5 years ago
- Multihash Haskell implementation☆28Updated 2 years ago
- ☆18Updated 2 weeks ago
- ☆21Updated 7 years ago
- Official rust implementation of the Kadcast P2P protocol for ultra-efficient message dissemination within Dusk Network☆27Updated 2 weeks ago
- The next-generation Olin runtime, made with love☆66Updated 3 years ago
- 🧪 | LLVM backend for HVM☆23Updated 2 years ago
- ADNL protocol implementation in Rust☆13Updated 11 months ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 8 years ago
- ☆14Updated 11 years ago
- Oscoin Full Node Implementation in Haskell (Work in Progress)☆24Updated 6 years ago
- IPFS wrapper for Haskell☆43Updated 2 years ago
- Rust boilerplate application for Ledger Nano S+/X, Stax and Flex☆50Updated last week
- Collection of example OpenRPC documents.☆56Updated 2 months ago
- Extism Plug-in development kit (PDK) for Haskell☆10Updated 10 months ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆47Updated 5 years ago