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
  ☆331Updated 3 years ago
• finkel-lang / finkel
  Haskell in S-expression
  ☆170Updated 3 months ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆82Updated 7 months ago
• gelisam / klister
  an implementation of stuck macros
  ☆138Updated this week
• pure-c / purec
  C backend for PureScript
  ☆236Updated 3 years ago
• utkarshkukreti / purescript-hedwig
  Hedwig is a fast, type safe, declarative PureScript library for building web applications.
  ☆130Updated 4 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆164Updated 2 weeks ago
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆130Updated 4 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆81Updated this week
• owickstrom / gi-gtk-declarative
  Declarative GTK+ programming in Haskell
  ☆289Updated last year
• haskell-game / fungen
  A lightweight, cross-platform, OpenGL-based 2D game engine in Haskell
  ☆91Updated last year
• lettier / webviewhs
  🌐 A Haskell binding to the webview library created by Serge Zaitsev.
  ☆126Updated 3 years ago
• hslua / hslua
  Haskell bindings to Lua, an embeddable scripting language.
  ☆131Updated last month
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆79Updated 3 years ago
• Helium4Haskell / helium
  The Helium compiler, Helium-as-a-library, and the texthint interpreter
  ☆95Updated 2 months ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 6 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆74Updated 5 years ago
• typed-wire / typed-wire
  Language independent type-safe communication
  ☆133Updated 6 years ago
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆190Updated 6 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆199Updated 4 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• bodil / purescript-smolder
  A combinator library for generating markup
  ☆89Updated 3 years ago
• purescript-contrib / purescript-parsing
  A parser combinator library based on Parsec
  ☆152Updated 4 months ago
• rossberg / hamlet
  SML reference interpreter
  ☆112Updated last year
• pure11 / pure11
  A small strongly typed language that compiles to C++11
  ☆152Updated 5 years ago
• githwxi / ATS-Xanadu
  Bootstrapping ATS3
  ☆208Updated this week
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆256Updated 5 months ago
• tfausak / flow
  Write more understandable Haskell.
  ☆201Updated 2 weeks ago
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆162Updated 10 months ago