Alternatives and similar repositories for Nota

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

• pasqu4le / clifm
  Command Line Interface File Manager
  ☆110Updated 5 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆60Updated 5 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆170Updated 3 months ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 10 years ago
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 5 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆36Updated last month
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 4 months ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆90Updated 3 months ago
• jgm / commonmark-hs
  Pure Haskell commonmark parsing library, designed to be flexible and extensible
  ☆141Updated 6 months ago
• dmjio / LC3
  The LC3 virtual machine
  ☆24Updated 9 months ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• andreasabel / haskell-style-guide
  A style guide for Haskell code.
  ☆12Updated 4 months ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆59Updated last year
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆66Updated 2 weeks ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 5 years ago
• benediktahrens / CT4P
  ☆35Updated last month
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆57Updated last year
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆50Updated 5 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆97Updated 6 months ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆30Updated 7 years ago
• mmark-md / mmark
  Strict markdown processor for writers
  ☆115Updated last week
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• two-twelve / fernery
  A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems
  ☆49Updated last year
• haskell-hvr / HsYAML
  YAML 1.2 implementation in pure Haskell
  ☆54Updated 3 months ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆32Updated 5 months ago
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated 2 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆93Updated last year