Alternatives and similar repositories for brassica

Users that are interested in brassica are comparing it to the libraries listed below

• marseillebd / nanopass
  Haskell port of the Nanopass Compiler Framework
  ☆22Updated 3 weeks ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆28Updated 3 months ago
• cdupont / Timeloop
  ☆41Updated last year
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 5 years ago
• lexi-lambda / shattered-plans
  ☆37Updated 2 years ago
• Ubspy / Haskell-Tetris
  Final project for EECS 368 written in Haskell
  ☆23Updated 4 years ago
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆43Updated last month
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 4 years ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 7 months ago
• ad-si / Brillo
  Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
  ☆39Updated 3 weeks ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated last year
• softwarefactory-project / matrix-client-haskell
  Matrix.org haskell client library
  ☆25Updated 4 months ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 3 months ago
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 10 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆29Updated last week
• alt-romes / mermaid-hs
  A Haskell library for parsing mermaid diagrams
  ☆9Updated last year
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆23Updated 2 years ago
• Anut-py / ghc-web-test
  ☆15Updated last year
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• msp-strath / ask
  being a particular fragment of Haskell, extended to a proof system
  ☆32Updated 3 months ago
• haskellfoundation / stability
  Issues and proposals related to the HF Stability Working Group
  ☆27Updated this week
• ibaryshnikov / iced-hs
  Haskell wrapper for iced
  ☆35Updated 3 weeks ago
• haskellari / some
  Existential type.
  ☆37Updated 6 months ago
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆62Updated last year
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• PPKFS / yaifl
  An interactive fiction (text adventure) library in Haskell, inspired by Inform7.
  ☆18Updated 3 months ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆75Updated 5 years ago
• Russoul / Idris2-Effect
  Experimental effects library for Idris 2
  ☆42Updated 3 years ago