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
  ☆334Updated 3 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated last month
• finkel-lang / finkel
  Haskell in S-expression
  ☆171Updated 6 months ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆48Updated 7 years ago
• pure-c / purec
  C backend for PureScript
  ☆236Updated 4 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆142Updated 2 months ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 3 months ago
• githwxi / ATS-Xanadu
  Bootstrapping ATS3
  ☆218Updated this week
• 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
  ☆197Updated 3 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated 2 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆75Updated 5 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆80Updated 3 years ago
• idris-hackers / IdrisWeb
  A secure web framework, built in the Idris language.
  ☆110Updated 11 years ago
• rossberg / hamlet
  SML reference interpreter
  ☆116Updated 2 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆82Updated 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
• githwxi / ATS-Postiats
  ATS2: Unleashing the Potentials of Types and Templates
  ☆363Updated 5 months ago
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆131Updated 4 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆122Updated 6 years ago
• lettier / webviewhs
  🌐 A Haskell binding to the webview library created by Serge Zaitsev.
  ☆126Updated 3 years ago
• deech / fltkhs
  Haskell bindings to FLTK GUI toolkit.
  ☆191Updated 3 years ago
• owickstrom / gi-gtk-declarative
  Declarative GTK+ programming in Haskell
  ☆289Updated last year
• ghcjs / jsaddle
  JavaScript interface that works with GHCJS or GHC
  ☆122Updated last week
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆56Updated last month
• utkarshkukreti / purescript-hedwig
  Hedwig is a fast, type safe, declarative PureScript library for building web applications.
  ☆130Updated 4 years ago
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 7 years ago
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆61Updated 2 years ago
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆89Updated 6 months ago