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
  ☆120Updated 7 years ago
• amuletml / amulet
  An ML-like functional programming language
  ☆337Updated 3 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated 5 months ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆76Updated 5 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 5 months ago
• finkel-lang / finkel
  Haskell in S-expression
  ☆176Updated 10 months ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 5 years ago
• ats-lang / ATS-CodeBook
  This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…
  ☆62Updated 4 years ago
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆57Updated 5 months ago
• haskell-game / fungen
  A lightweight, cross-platform, OpenGL-based 2D game engine in Haskell
  ☆96Updated 2 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 7 months ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆123Updated 6 years ago
• lettier / webviewhs
  🌐 A Haskell binding to the webview library created by Serge Zaitsev.
  ☆126Updated 4 years ago
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆68Updated last year
• gelisam / klister
  an implementation of stuck macros
  ☆145Updated 2 weeks ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• gallettilance / magnificATS
  Collection of ATS goodness
  ☆34Updated 5 years ago
• hslua / hslua
  Haskell bindings to Lua, an embeddable scripting language.
  ☆136Updated last month
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆166Updated last week
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆133Updated 5 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆255Updated 9 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆215Updated 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• edwinb / idris2-vim
  Vim mode for Idris 2
  ☆78Updated 3 years ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆37Updated 6 years ago
• githwxi / ATS-Xanadu
  Bootstrapping ATS3
  ☆226Updated last week
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆62Updated 2 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• coetaur0 / nox
  The Nox programming language
  ☆30Updated 2 years ago
• sjsyrek / malc
  Make a lambda calculus.
  ☆87Updated 4 years ago