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
• finkel-lang / finkel
  Haskell in S-expression
  ☆171Updated 5 months ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 2 months ago
• gelisam / klister
  an implementation of stuck macros
  ☆139Updated last month
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆82Updated last week
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆74Updated 5 years ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆48Updated 7 years 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
• deech / fltkhs
  Haskell bindings to FLTK GUI toolkit.
  ☆191Updated 3 years ago
• hslua / hslua
  Haskell bindings to Lua, an embeddable scripting language.
  ☆131Updated 3 months ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆199Updated 4 years ago
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆162Updated last year
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 2 months ago
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆190Updated 6 years ago
• pure-c / purec
  C backend for PureScript
  ☆236Updated 4 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 6 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆79Updated 3 years ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆120Updated 2 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆258Updated 7 months ago
• pkamenarsky / replica
  A remote virtual DOM library for Haskell
  ☆141Updated 5 months ago
• pure11 / pure11
  A small strongly typed language that compiles to C++11
  ☆152Updated 6 years ago
• egonSchiele / salty
  Language that transpiles to PHP, JavaScript, and JSX.
  ☆51Updated 2 years ago
• keera-studios / keera-hails
  Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications
  ☆198Updated 3 years ago
• zehaochen19 / vanilla-lang
  An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
  ☆90Updated 2 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 7 years ago
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆87Updated 5 months ago
• githwxi / ATS-Xanadu
  Bootstrapping ATS3
  ☆210Updated this week