patrickt / bracer
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
- Dependently-typed language w/ little to say for itself☆10Updated 7 years ago
- ☆58Updated 10 months ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- The LVish Haskell library☆80Updated 2 years ago
- an example airship app☆14Updated 8 years ago
- Crux Programming Language☆52Updated 2 years ago
- An experiment towards a UI programming model inspired by algebraic effects.☆30Updated 7 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- complexity testing for haskell☆48Updated 9 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Updated 2 years ago
- ☆17Updated 2 years ago
- A constant-memory approximation of set membership☆25Updated 3 months ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 9 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- ☆23Updated 7 years ago
- Inline C & Objective-C in Haskell☆146Updated 7 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- From Haskell to Hardware via CCCs☆58Updated 8 years ago
- Model-view-controller☆63Updated 2 years ago
- QuickCheck extras.☆29Updated 5 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- lazy promises☆28Updated 4 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Updated 3 months ago
- WAI middleware that collects requests metrics☆10Updated 8 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago