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
  ☆46Updated 3 years ago
• o89 / n2o
  N2O: Application Server
  ☆13Updated 3 years ago
• groupoid / cafe
  🧊 Презентації та воркшопи
  ☆19Updated 7 months ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆24Updated 8 months ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆35Updated last month
• groupoid / henk
  🧊 Чиста система з всесвітами
  ☆148Updated 3 weeks ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆68Updated last year
• nshimaza / thread-supervisor
  A simplified implementation of Erlang/OTP like supervisor for GHC thread
  ☆16Updated 5 years ago
• lindenbaum / hinterface
  Haskell / Erlang interoperability library
  ☆30Updated 3 years ago
• ilya-klyuchnikov / sc-mini
  SC Mini is a "minimal" positive supercompiler
  ☆48Updated 5 years ago
• id3as / purescript-backend-erl
  ☆15Updated 2 weeks ago
• gergoerdi / clash-compucolor2
  Clash implementation of the Compucolor II home computer
  ☆32Updated 4 years ago
• SimonJF / mbcheck
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆20Updated 2 weeks ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 3 years ago
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 8 years ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆25Updated 7 years ago
• serokell / rocksdb-haskell
  Haskell bindings to RocksDB (http://rocksdb.org)
  ☆27Updated 7 years ago
• sequents / code
  Proof theory seminar
  ☆36Updated 4 years ago
• christian-public / Idris2-Erlang
  Erlang code generator for Idris 2
  ☆143Updated 2 years ago
• jskri / modeling-with-tla
  Tutorial on modeling with TLA+
  ☆24Updated 3 months ago
• deadpendency / deadpendency
  ☆26Updated 2 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• JLimperg / cats
  Category Theory in Agda. Learning exercise, not for public consumption.
  ☆22Updated 5 years ago
• jprupp / nqe
  Concurrency library inspired by Erlang/OTP
  ☆19Updated 8 months ago
• A1kmm / http4idris
  An experimental HTTP framework for Idris
  ☆14Updated 5 years ago
• nachivpn / mt
  Master thesis on developing a static type checker for Erlang
  ☆27Updated 7 years ago
• neel-krishnaswami / adjs
  Higher-order FRP compiler
  ☆15Updated 4 years ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 9 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated 2 years ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 8 years ago