Alternatives and similar repositories for Moonad

Users that are interested in Moonad are comparing it to the libraries listed below

• moonad-archive / Formality-JavaScript
  An implementation of the Formality language in JavaScript
  ☆71Updated 6 years ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆152Updated last month
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 11 months ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated last year
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆93Updated last year
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆125Updated 6 years ago
• VictorTaelin / ultimate-calculus
  ☆36Updated 4 years ago
• vmchale / dickinson
  Text generation language
  ☆34Updated 4 months ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆125Updated last year
• ats-lang / ats-lang.github.io
  For parts of https://www.ats-lang.org
  ☆26Updated 7 months ago
• lettier / webviewhs
  🌐 A Haskell binding to the webview library created by Serge Zaitsev.
  ☆126Updated 4 years ago
• transient-haskell / transient-stack
  All the Transient libraries
  ☆44Updated 3 weeks ago
• VictorTaelin / absal-ex
  Absal ex
  ☆58Updated 2 years ago
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆27Updated 2 months ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆212Updated 7 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• agda-attic / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆103Updated 8 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 5 years ago
• stepcut / idris-blink
  A simple Idris program to blink the LED on an Arduino
  ☆58Updated 4 years ago
• edwinb / Idris2
  A purely functional programming language with first class types
  ☆61Updated 10 months ago
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆28Updated 6 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆54Updated 3 months ago
• nikita-volkov / domain
  Focused domain model declaration toolkit for Haskell
  ☆48Updated 2 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• jvranish / MiniKanrenT
  An implementation of miniKanren in Haskell
  ☆79Updated 12 years ago