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
  ☆112Updated 5 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆24Updated 11 months 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
  ☆174Updated this week
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆39Updated 10 years ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆31Updated 7 years ago
• quchen / generative-art
  I wanted to make a nicer sticker for Munihac, then things got out of hand.
  ☆152Updated 10 months ago
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 5 years ago
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆55Updated 3 months ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• andreasabel / haskell-style-guide
  A style guide for Haskell code.
  ☆13Updated 6 months ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆60Updated 6 months ago
• jgm / commonmark-hs
  Pure Haskell commonmark parsing library, designed to be flexible and extensible
  ☆141Updated 8 months ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆90Updated last month
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 5 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆67Updated last week
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆104Updated last year
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated 2 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆98Updated 8 months ago
• andrevdm / bhoogle
  Hoogle terminal UI brick example app
  ☆102Updated last month
• lettier / webviewhs
  🌐 A Haskell binding to the webview library created by Serge Zaitsev.
  ☆126Updated 4 years ago
• kazu-yamamoto / http3
  HTTP/3 library in Haskell
  ☆69Updated last week
• two-twelve / fernery
  A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems
  ☆49Updated last month
• mmark-md / mmark
  Strict markdown processor for writers
  ☆116Updated this week
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆34Updated last month
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆36Updated 2 months ago
• simonmichael / haskell-links
  Exploratory project to gather Haskell links
  ☆10Updated 6 months ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago