patrickt / bracerLinks
a language workbench for parsing and transforming curly-brace languages
☆43Updated 9 years ago
Alternatives and similar repositories for bracer
Users that are interested in bracer are comparing it to the libraries listed below
Sorting:
- Inline C & Objective-C in Haskell☆147Updated 8 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- ☆59Updated last year
- The LVish Haskell library☆80Updated 2 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago
- an example airship app☆14Updated 9 years ago
- Crux Programming Language☆53Updated 2 weeks ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Labeled IO Library☆57Updated 4 years ago
- Gidl: an Interface Description Language☆10Updated 8 years ago
- Model-view-controller☆64Updated 2 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- Real-time collaborative editing with Operational Transformation☆40Updated last year
- ☆15Updated 8 years ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 9 years ago
- A programming language that runs in Haskell's type system.☆255Updated 9 years ago
- ☆23Updated 7 years ago
- Transactional monadic actions on top of PostgreSQL.☆59Updated 3 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Updated 2 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Updated last year
- TOML file format parser in Haskell☆39Updated 3 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago