groupoid / alonzoLinks
🧊 Типізоване -גчислення
☆16Updated 3 weeks 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☆47Updated 3 years ago
- N2O: Application Server☆12Updated 2 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated 3 weeks ago
- ☆10Updated last week
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- 🧊 Чиста система з всесвітами☆147Updated 3 weeks ago
- 🧊 Презентації та воркшопи☆21Updated 2 weeks ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- 💧 SCAN: Сканування☆13Updated 2 years ago
- 💧 SAMPLE: WebSocket Sample Application☆9Updated last year
- N2O: Rust Application Server☆18Updated 5 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- ETC☆17Updated 3 years ago
- 🧊 Інститут формальної математики☆35Updated last week
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆15Updated last month
- Formalization of type theory☆22Updated 3 years ago
- ☆29Updated 9 years ago
- Session types in Idris2!☆27Updated 4 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- Communicate with Erlang node from Haskell☆12Updated 4 years ago
- An MVC library for writing interactive webpages in OCaml☆35Updated 10 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- An experimental HTTP framework for Idris☆14Updated 5 years ago
- N2O in Haskell☆29Updated 9 years ago
- Supervised Session Actors☆22Updated 8 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆25Updated 5 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 4 years ago