groupoid / alonzo
🧊 Типізоване -גчислення
☆15Updated 6 months ago
Related projects: ⓘ
- ☆18Updated this week
- ☆13Updated this week
- ⭕️ N2O: Haskell Application Server☆47Updated 2 years ago
- ☆15Updated this week
- 💧 SCAN: Сканування☆13Updated last year
- 🧊 Модальний гомотопічний верифікатор математики☆18Updated last month
- N2O: Application Server☆10Updated last year
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated 6 months ago
- 🧊 Інститут формальної математики☆35Updated 5 months ago
- ETC☆17Updated 3 years ago
- 🧊 Презентації та воркшопи☆21Updated 10 months ago
- Supervised Session Actors☆22Updated 8 years ago
- ☆12Updated this week
- Haskell / Erlang interoperability library☆29Updated last year
- ☆9Updated this week
- Communicate with Erlang node from Haskell☆12Updated 3 years ago
- SC Mini is a "minimal" positive supercompiler☆47Updated 3 years ago
- 🧊 Чиста система з всесвітами☆144Updated 2 months ago
- Anders: Cubical Type Checker☆18Updated 10 months ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆14Updated 3 weeks ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆38Updated 3 months ago
- Session types in Idris2!☆26Updated 3 years ago
- purerl bindings to basic Erlang process functionality☆12Updated 2 years ago
- Haskell subset compiled to the Beam machine.☆41Updated 10 years ago
- PureScript Erlang hello world☆13Updated 6 years ago
- Higher-order FRP compiler☆14Updated 2 years ago
- ☆13Updated this week
- An experimental HTTP framework for Idris☆14Updated 4 years ago
- "operating system" based on the calculus of constructions☆17Updated 2 years ago