bradrn / brassica
A featureful sound change applier for language construction
☆30Updated 3 weeks ago
Alternatives and similar repositories for brassica:
Users that are interested in brassica are comparing it to the libraries listed below
- Phase vocoder in Haskell☆17Updated 3 years ago
- Matrix.org haskell client library☆25Updated 11 months ago
- koneko - a concatenative not-quite-lisp for kittens☆23Updated 4 months ago
- ☆12Updated 4 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated last year
- Experimental effects library for Idris 2☆42Updated 2 years ago
- GHC plugin to desugar ! into do-notation☆37Updated last month
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆34Updated 3 weeks ago
- Pastebin service in haskell☆31Updated last month
- 📺 The power of Haskell in your terminal!☆42Updated 3 weeks ago
- ☆20Updated 2 months ago
- ☆41Updated last year
- A relational interpretation of Lojban☆33Updated last week
- Demonstration of GTK4 TreeListView with drag-and-drop☆14Updated 3 months ago
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆24Updated 2 years ago
- A type-safe and friendly ECS for Haskell☆22Updated this week
- LLVM code generation in Haskell☆53Updated 2 months ago
- IDE support for the functional logic programming language Curry☆29Updated this week
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- A Typeclass for user-facing output☆55Updated last week
- Final project for EECS 368 written in Haskell☆23Updated 3 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 8 years ago
- Haskell implementation of series, or labeled one-dimensional arrays.☆19Updated last week
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆23Updated 3 weeks ago
- Reimplementation of a subset of Cabal☆23Updated 2 weeks ago
- Haskell port of the Nanopass Compiler Framework☆10Updated last year
- A reversible language☆22Updated 6 years ago
- A library for doing generic programming in Agda☆31Updated 3 years ago
- ☆20Updated last year
- Generalized syntax & semantics for universe hierarchies☆29Updated last year