serokell / fift-asm-dsl
A Haskell eDSL for the TON VM Assembler
☆15Updated 4 years ago
Related projects: ⓘ
- Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.☆9Updated 6 years ago
- An Ethereum contract analyzer.☆18Updated 6 years ago
- Multiplatform BTC wallet with client side filters☆36Updated 6 months ago
- Haskoin Node is a Bitcoin and Bitcoin Cash peer-to-peer protocol library☆13Updated 3 months ago
- Distributed systems execution emulation☆18Updated 5 years ago
- ☆10Updated 4 years ago
- Coq Lecture Notes (WIP)☆49Updated 3 years ago
- GHC .prof files viewer☆18Updated 2 years ago
- Haskell bindings to binaryen.☆14Updated 3 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆43Updated 2 years ago
- IPFS wrapper for Haskell☆43Updated last year
- A PureScript UI library built upon the react☆10Updated 2 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆55Updated last year
- ☆21Updated 6 years ago
- Base Formality libraries☆9Updated 5 years ago
- Refinement types + dependent types = ❤️☆57Updated 2 years ago
- Multihash Haskell implementation☆27Updated last year
- Comprehensive framework to build network actors and distributed applications☆44Updated 5 years ago
- Bitcoin script compilation, manipulation and decompilation☆14Updated 4 years ago
- Shamir Secret Sharing☆19Updated 4 years ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 6 years ago
- ☆10Updated this week
- Haskoin Store is a blockchain storage service with a RESTful API☆26Updated last month
- ☆20Updated 5 years ago
- Haskell bindings for secp256k1 library☆24Updated 3 weeks ago
- Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)☆9Updated 2 years ago
- A fully compliant Haskell 98 lexer.☆15Updated 5 months ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- 🧊 Інститут формальної математики☆35Updated 5 months ago