Alternatives and similar repositories for alonzo:

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

• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 3 years ago
• o89 / n2o
  N2O: Application Server
  ☆11Updated 2 years ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated this week
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆34Updated last week
• groupoid / cafe
  🧊 Презентації та воркшопи
  ☆21Updated last year
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆66Updated last year
• groupoid / henk
  🧊 Чиста система з всесвітами
  ☆145Updated 3 weeks ago
• forked-from-1kasper / anders
  Anders: Cubical Type Checker
  ☆24Updated last year
• erpuno / scan
  💧 SCAN: Сканування
  ☆13Updated 2 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 8 years ago
• lindenbaum / hinterface
  Haskell / Erlang interoperability library
  ☆29Updated 2 years ago
• ilya-klyuchnikov / sc-mini
  SC Mini is a "minimal" positive supercompiler
  ☆47Updated 4 years ago
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆9Updated last year
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆24Updated 5 months ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 9 months ago
• adinapoli / threads-supervisor
  Simple, IO-based Haskell library for Erlang-inspired thread supervisors
  ☆29Updated 2 years ago
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆42Updated 10 years ago
• A1kmm / http4idris
  An experimental HTTP framework for Idris
  ☆14Updated 5 years ago
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 7 years ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 6 years ago
• Chaaaos / formaltt
  Formalization of type theory
  ☆22Updated 3 years ago
• harp-project / Core-Erlang-Formalization
  ☆10Updated this week
• SimonJF / mbcheck
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆14Updated last week
• idream-build / idream
  A simple build system for Idris
  ☆22Updated 4 years ago
• nshimaza / thread-supervisor
  A simplified implementation of Erlang/OTP like supervisor for GHC thread
  ☆16Updated 4 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆38Updated 9 months ago