serokell / fift-asm-dsl
A Haskell eDSL for the TON VM Assembler
☆14Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for fift-asm-dsl
- Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.☆9Updated 6 years ago
- Haskoin Node is a Bitcoin and Bitcoin Cash peer-to-peer protocol library☆13Updated 5 months ago
- ☆10Updated 4 years ago
- ☆16Updated 9 years ago
- An Ethereum contract analyzer.☆18Updated 6 years ago
- ☆20Updated 5 years ago
- Wasm library for PureScript☆26Updated 3 months ago
- Distributed systems execution emulation☆18Updated 5 years ago
- Idris web site☆15Updated 6 months ago
- Haskell bindings to binaryen.☆13Updated 3 years ago
- A PureScript UI library built upon the react☆10Updated 2 years ago
- Monoidal stack machine☆10Updated 5 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- N2O: Rust Application Server☆18Updated 5 years ago
- Double-ended queues☆14Updated last year
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- The place for submitting new articles to the Serokell blog.☆16Updated 8 months ago
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Updated 9 years ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 6 years ago
- Unclog your changelog☆36Updated last week
- Haskell cryptography done right☆16Updated last month
- ☆21Updated 6 years ago
- A cilent for the bitcoind JSON-RPC interface☆11Updated 5 months ago
- Compression used in Sonic the Hedgehog☆10Updated 6 years ago
- Functional languages index☆42Updated 5 years ago
- A fully compliant Haskell 98 lexer.☆15Updated 3 weeks ago
- Provides a Refl encoding in Rust☆68Updated last year
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 6 years ago
- A short scripts and programs☆12Updated last year