bradrn / brassica
A featureful sound change applier for language construction
☆33Updated 3 months ago
Alternatives and similar repositories for brassica:
Users that are interested in brassica are comparing it to the libraries listed below
- koneko - a concatenative not-quite-lisp for kittens☆23Updated 8 months ago
- IDE support for the functional logic programming language Curry☆31Updated this week
- Final project for EECS 368 written in Haskell☆23Updated 3 years ago
- ☆41Updated last year
- Experimental effects library for Idris 2☆42Updated 2 years ago
- Reimplementation of a subset of Cabal☆26Updated last month
- LLVM code generation in Haskell☆54Updated 6 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated 9 months ago
- Session types framework with support of protocol pipelining.☆15Updated 2 months ago
- ☆21Updated 2 weeks ago
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆38Updated 3 months ago
- Linear lens☆20Updated last year
- Matrix.org haskell client library☆27Updated 2 months ago
- Haskell implementation of data structures for data science☆21Updated last month
- Haskell port of the Nanopass Compiler Framework☆22Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- Command line interface library in Idris☆31Updated 9 months ago
- Lua backend for Idris 2☆28Updated 2 years ago
- ☆15Updated last year
- Haskell counters that can be safely incremented from multiple threads☆19Updated 4 months ago
- Existential type.☆37Updated 4 months ago
- 📺 The power of Haskell in your terminal!☆42Updated 3 weeks ago
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- being a particular fragment of Haskell, extended to a proof system☆32Updated 2 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- Low level Haskell bindings to the BearLibTerminal graphics library.☆17Updated last month
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆25Updated 2 years ago
- An interactive fiction (text adventure) library in Haskell, inspired by Inform7.☆17Updated 2 months ago
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆31Updated this week