serokell / fift-asm-dsl
A Haskell eDSL for the TON VM Assembler
☆14Updated 5 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
- ☆20Updated 6 years ago
- Haskell bindings to binaryen.☆14Updated 4 years ago
- Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.☆9Updated 7 years ago
- The https://ghc.dev Website Generator☆21Updated 6 months ago
- ☆10Updated 5 years ago
- Distributed systems execution emulation☆18Updated 6 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
- Wasm library for PureScript☆27Updated 8 months ago
- ☆21Updated 7 years ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆59Updated 3 months ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- N2O: Rust Application Server☆18Updated 5 years ago
- ☆16Updated 10 years ago
- A cilent for the bitcoind JSON-RPC interface☆12Updated 3 months ago
- An Ethereum contract analyzer.☆19Updated 3 months ago
- GHC .prof files viewer☆19Updated 2 years ago
- The Stroscot Programming Language☆13Updated last year
- Key-value storage LSM-style and whatever will grow out of it.☆10Updated 8 years ago
- A functional scripting language.☆18Updated 3 months ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- The place for submitting new articles to the Serokell blog.☆16Updated last year
- Concurrency library inspired by Erlang/OTP☆18Updated last year
- An interactive beta reduction calculator for lambda calculus☆11Updated 6 years ago
- Double-ended queues☆14Updated 2 months ago
- Standard library for the Formality language☆18Updated 5 years ago
- Multiplatform BTC wallet with client side filters☆36Updated last year
- GHCup metadata repository☆37Updated last week
- Haskoin Node is a Bitcoin and Bitcoin Cash peer-to-peer protocol library☆13Updated 4 months ago
- Haskell cryptography done right☆18Updated 3 weeks ago
- Class of data structures that can be unfolded.☆22Updated last year