patrickt / bracerLinks
a language workbench for parsing and transforming curly-brace languages
☆42Updated 8 years ago
Alternatives and similar repositories for bracer
Users that are interested in bracer are comparing it to the libraries listed below
Sorting:
- ☆58Updated 10 months ago
- Static blog generator in Idris.☆39Updated 10 years ago
- an example airship app☆14Updated 8 years ago
- Dependently-typed language w/ little to say for itself☆10Updated 7 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- ☆15Updated 8 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Crux Programming Language☆52Updated 3 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated last year
- ☆17Updated 2 years ago
- cargo +nightly build☆34Updated 5 years ago
- An experiment towards a UI programming model inspired by algebraic effects.☆30Updated 8 years ago
- A backwards-compatible, modern replacement for the Prelude.☆22Updated 8 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Updated 2 years ago
- ☆23Updated 7 years ago
- Automatically make lenses from data structures implementing Generic☆26Updated 10 years ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago
- WAI middleware that collects requests metrics☆10Updated 8 years ago
- Example ITCH 4.1 parser in Haskell/Ragel/C99☆16Updated 13 years ago
- lazy promises☆28Updated 4 years ago
- Tagged Haskell learning resources index☆21Updated 8 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- TOML file format parser in Haskell☆39Updated 3 years ago
- a simple functional language for learners☆30Updated 8 years ago
- An implementation of the Core language☆30Updated 9 years ago
- Some standalone stream fusion experiments☆13Updated 9 years ago