bradrn / brassica
A featureful sound change applier for language construction
☆28Updated last month
Related projects ⓘ
Alternatives and complementary repositories for brassica
- LLVM code generation in Haskell☆50Updated 3 weeks ago
- Matrix.org haskell client library☆25Updated 9 months ago
- IDE support for the functional logic programming language Curry☆27Updated last week
- ☆15Updated last year
- Command line interface library in Idris☆30Updated 3 months ago
- ☆34Updated last year
- Experimental effects library for Idris 2☆41Updated 2 years ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 11 months ago
- Haskell library for type-inference with Hindley-Milner type-system.☆33Updated 5 months ago
- Phase vocoder in Haskell☆16Updated 3 years ago
- koneko - a concatenative not-quite-lisp for kittens☆21Updated 2 months ago
- 📺 The power of Haskell in your terminal!☆42Updated 3 weeks ago
- Final project for EECS 368 written in Haskell☆23Updated 3 years ago
- ☆40Updated last year
- ☆24Updated 9 months ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- ☆24Updated 2 years ago
- Data frames for Idris 2☆21Updated last year
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆65Updated 9 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 6 months ago
- A Haskell libary for fast arrowized FRP based on signal functions☆17Updated 3 months ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- ☆71Updated 2 years ago
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆24Updated 2 years ago
- GRIN backend for Idris2☆33Updated 2 years ago
- A Typeclass for user-facing output☆53Updated 3 weeks ago
- Existential type.☆36Updated 6 months ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago