Alternatives and similar repositories for Hypatia:

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

• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆117Updated 7 years ago
• amuletml / amulet
  An ML-like functional programming language
  ☆329Updated 3 years ago
• finkel-lang / finkel
  Haskell in S-expression
  ☆171Updated last month
• githwxi / ATS-Xanadu
  Bootstrapping ATS3
  ☆205Updated this week
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆82Updated 6 months ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆249Updated 8 years ago
• rossberg / hamlet
  SML reference interpreter
  ☆112Updated last year
• gelisam / klister
  an implementation of stuck macros
  ☆136Updated 2 months ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆73Updated 5 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆77Updated 2 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆164Updated last month
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆61Updated 6 months ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆81Updated 2 years ago
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆129Updated 4 years ago
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆162Updated 9 months ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆121Updated 5 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆212Updated last year
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 7 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆87Updated 2 months ago
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆56Updated 4 months ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 4 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 7 years ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆88Updated 6 years ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆119Updated 2 years ago
• utkarshkukreti / purescript-hedwig
  Hedwig is a fast, type safe, declarative PureScript library for building web applications.
  ☆131Updated 4 years ago
• hslua / hslua
  Haskell bindings to Lua, an embeddable scripting language.
  ☆131Updated this week
• pure-c / purec
  C backend for PureScript
  ☆236Updated 3 years ago
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆155Updated 3 years ago
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆85Updated 2 months ago