groupoid / alonzoLinks
🧊 Типізоване -גчислення
☆16Updated this week
Alternatives and similar repositories for alonzo
Users that are interested in alonzo are comparing it to the libraries listed below
Sorting:
- ⭕️ N2O: Haskell Application Server☆48Updated 3 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated last week
- N2O: Application Server☆12Updated 2 years ago
- 🧊 Презентації та воркшопи☆21Updated last year
- 🧊 Інститут формальної математики☆35Updated this week
- Proof theory seminar☆35Updated 4 years ago
- ☆10Updated this week
- Category Theory in Agda. Learning exercise, not for public consumption.☆25Updated 5 years ago
- 🧊 Чиста система з всесвітами☆147Updated this week
- 💧 SCAN: Сканування☆13Updated 2 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 2 years ago
- N2O in Haskell☆29Updated 9 years ago
- N2O: Rust Application Server☆18Updated 5 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- Session types in Idris2!☆27Updated 4 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- An experimental HTTP framework for Idris☆14Updated 5 years ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆15Updated 2 weeks ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- Verification Framework for Actor Systems on Coq☆29Updated 6 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Updated 6 years ago
- AST, parser, pretty-printer for Core Erlang source code.☆28Updated 4 years ago
- Anders: Cubical Type Checker☆24Updated last year
- ☆30Updated 7 years ago
- Supervised Session Actors☆22Updated 8 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Updated 5 years ago
- Formalization of type theory☆22Updated 3 years ago
- 💧 SAMPLE: WebSocket Sample Application☆9Updated last year