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:
- ☆60Updated last year
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- Inline C & Objective-C in Haskell☆148Updated 8 years ago
- Measure time complexity empirically.☆48Updated 10 years ago
- A programming language that runs in Haskell's type system.☆256Updated 9 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- The LVish Haskell library☆80Updated 3 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- QuickCheck extras.☆29Updated 6 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- an example airship app☆14Updated 9 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated 2 years ago
- ☆23Updated 8 years ago
- Roaring bitmaps in Haskell☆13Updated 7 years ago
- Model-view-controller☆64Updated 3 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆47Updated 8 years ago
- Generate standalone haddock documentation for a set of packages☆28Updated 5 years ago
- Crux Programming Language☆53Updated 5 months ago
- ☆17Updated 3 years ago
- Clojure-style transients for Haskell☆35Updated 3 years ago
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Updated 13 years ago
- A series of implementations of a simple functional programming language.☆30Updated 10 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- cargo +nightly build☆34Updated 6 years ago
- Tool to determine relevant parts of binary data☆44Updated 8 years ago
- Edison: A Library of Efficient Data Structures☆57Updated last week
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago