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
  ☆114Updated 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
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 5 years ago
• emilypi / group-theory
  The theory of groups
  ☆81Updated 2 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆179Updated last week
• two-twelve / fernery
  A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems
  ☆50Updated 3 months ago
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 6 years ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆60Updated last year
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆69Updated this week
• dmjio / LC3
  The LC3 virtual machine
  ☆24Updated last year
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆98Updated 10 months ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆95Updated 2 months ago
• benediktahrens / CT4P
  ☆36Updated last month
• kazu-yamamoto / http3
  HTTP/3 library in Haskell
  ☆70Updated last week
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆104Updated last month
• standardml / twelf
  The Twelf Programming Language
  ☆150Updated 3 weeks ago
• vmchale / dickinson
  Text generation language
  ☆34Updated 4 months ago
• haskell / pvp
  Haskell Package Version Policy (PVP)
  ☆40Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆40Updated 5 months ago
• mmark-md / mmark
  Strict markdown processor for writers
  ☆116Updated last week
• quchen / generative-art
  I wanted to make a nicer sticker for Munihac, then things got out of hand.
  ☆153Updated 2 months ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆39Updated 10 years ago
• andreasabel / haskell-style-guide
  A style guide for Haskell code.
  ☆14Updated 8 months ago
• jgm / commonmark-hs
  Pure Haskell commonmark parsing library, designed to be flexible and extensible
  ☆142Updated 10 months ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆60Updated last year
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated 2 years ago
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆19Updated last year
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆76Updated last month