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☆148Updated 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
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆46Updated 8 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Updated 13 years ago
- Model-view-controller☆64Updated 3 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- ☆23Updated 7 years ago
- Edison: A Library of Efficient Data Structures☆56Updated 5 months ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- An experiment towards a UI programming model inspired by algebraic effects.☆30Updated 8 years ago
- JVM implementation in Haskell☆44Updated last year
- Static blog generator in Idris.☆40Updated 10 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- Transactional monadic actions on top of PostgreSQL.☆59Updated 3 years ago
- ☆17Updated 3 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Updated 2 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- cargo +nightly build☆34Updated 6 years ago
- Roaring bitmaps in Haskell☆13Updated 6 years ago
- Clojure-style transients for Haskell☆33Updated 3 years ago
- ☆41Updated 8 years ago
- QuickCheck extras.☆29Updated 6 years ago
- an example airship app☆14Updated 9 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago