Alternatives and similar repositories for hoopy

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

• s-zeng / dhall-python
  Python bindings for dhall, a functional configuration language
  ☆48Updated 7 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆36Updated 3 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 9 months ago
• eashanhatti / konna
  ☆16Updated 3 years ago
• vmchale / apple
  Apple array system
  ☆66Updated 3 weeks ago
• cdupont / Timeloop
  ☆41Updated last year
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 5 months ago
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated 2 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆13Updated 7 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated last year
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆89Updated last week
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆60Updated last year
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆15Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆31Updated last week
• stefan-hoeck / idris2-tailrec
  Provably total, tail-call optimized monadic recursion in Idris2
  ☆14Updated last year
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• georgefst / monpad
  A fully-customisable web-based gamepad, designed to be used from smartphones.
  ☆41Updated 4 months ago
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆18Updated last year
• stefan-hoeck / idris2-rhone
  ☆18Updated last year
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆13Updated 2 months ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆25Updated 10 months ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 2 years ago
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆26Updated 8 months ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆22Updated 2 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 5 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago