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
  ☆333Updated 3 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆139Updated 2 weeks ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆167Updated 2 months ago
• finkel-lang / finkel
  Haskell in S-expression
  ☆170Updated 4 months ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated last year
• rossberg / hamlet
  SML reference interpreter
  ☆112Updated last year
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆131Updated 4 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆81Updated last month
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆62Updated last year
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆61Updated 2 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆74Updated 5 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆82Updated 8 months ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆258Updated 6 months ago
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆55Updated 6 months ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆79Updated 3 years ago
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆162Updated 11 months ago
• zehaochen19 / vanilla-lang
  An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
  ☆90Updated 2 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 7 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆87Updated last month
• augustss / djinn
  Generate Haskell code from a type
  ☆134Updated last month
• deech / fltkhs
  Haskell bindings to FLTK GUI toolkit.
  ☆191Updated 2 years ago
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 7 years ago
• keera-studios / keera-hails
  Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications
  ☆198Updated 2 years ago
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆86Updated 4 months ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 5 months ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆280Updated 4 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 6 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated last year
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆61Updated 8 months ago