groupoid / alonzoLinks
🧊 Типізоване -גчислення
☆16Updated 3 months ago
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☆46Updated 3 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated 3 months ago
- N2O: Application Server☆12Updated 2 years ago
- 🧊 Презентації та воркшопи☆20Updated 2 months ago
- 🧊 Інститут формальної математики☆35Updated 2 months ago
- 💧 SCAN: Сканування☆13Updated 2 years ago
- Master thesis on developing a static type checker for Erlang☆27Updated 6 years ago
- 🧊 Чиста система з всесвітами☆147Updated 3 months ago
- Formalization of type theory☆22Updated 4 years ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆18Updated 3 weeks ago
- ETC☆16Updated 4 years ago
- Anders: Cubical Type Checker☆23Updated last year
- ☆10Updated this week
- Fωμ type checker and compiler☆54Updated 2 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Erlang code generator for Idris 2☆142Updated last year
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 4 years ago
- N2O in Haskell☆29Updated 9 years ago
- Verification Framework for Actor Systems on Coq☆29Updated 7 years ago
- Session types in Idris2!☆27Updated 4 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Updated last year
- Category Theory in Agda. Learning exercise, not for public consumption.☆23Updated 5 years ago
- Exercism exercises in Idris.☆35Updated 2 weeks ago
- Haskell / Erlang interoperability library☆30Updated 2 years ago
- A tutorial about how to apply property-based testing to stateful systems.☆79Updated 2 years ago
- A Toy Inverse Bidirectional Typechecker☆32Updated 6 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- PureScript Erlang hello world☆13Updated 7 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- Package manager for Idris☆37Updated 3 years ago