Alternatives and similar repositories for flrc:

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

• ChrisPenner / rasa
  Extremely modular text editor built in Haskell
  ☆622Updated 4 years ago
• rgleichman / glance
  A visual Haskell
  ☆724Updated 3 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,574Updated 9 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆413Updated 8 years ago
• transient-haskell / transient
  A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…
  ☆634Updated 4 years ago
• iostreamer-X / FuncShell
  Improve your shell by making it functional through Haskell! (An update to Awkward)
  ☆290Updated 3 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆368Updated 8 years ago
• lexi-lambda / hackett
  WIP implementation of a Haskell-like Lisp in Racket
  ☆1,171Updated last year
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆605Updated 11 months ago
• aviaviavi / legion
  Simple blockchain server written in Haskell for educational purposes
  ☆601Updated 7 years ago
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆420Updated 5 years ago
• Gabriella439 / turtle
  Shell programming, Haskell style
  ☆954Updated 11 months ago
• ollef / sixten
  Functional programming with fewer indirections
  ☆762Updated 4 years ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,238Updated this week
• commercialhaskell / commercialhaskell
  A special interest group for companies and individuals interested in commercial usage of Haskell
  ☆459Updated 2 years ago
• quchen / articles
  Miscellaneous articles. The readme is the table of contents.
  ☆1,262Updated last year
• ndmitchell / shake
  Shake build system
  ☆781Updated 3 months ago
• quchen / stgi
  A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
  ☆532Updated 3 years ago
• idris-hackers / software-foundations
  Software Foundations in Idris
  ☆455Updated 5 years ago
• HuwCampbell / grenade
  Deep Learning in Haskell
  ☆1,450Updated last year
• jwbuurlage / category-theory-programmers
  Category theory in the context of (functional) programming
  ☆522Updated 7 years ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆771Updated last month
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆378Updated 2 years ago
• mattgreen / hython
  Haskell-powered Python 3 interpreter
  ☆581Updated 7 years ago
• matijapretnar / eff
  A functional programming language based on algebraic effect handlers
  ☆873Updated 7 months ago
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆371Updated last year
• chrisdone-archive / intero
  ☆1,009Updated 5 years ago
• agentm / project-m36
  Project: M36 Relational Algebra Engine
  ☆929Updated last week
• the-little-typer / pie
  The Pie language, which accompanies The Little Typer by Friedman and Christiansen
  ☆714Updated 3 years ago
• edwinb / Blodwen
  A prototype successor to Idris
  ☆540Updated 5 years ago