erpuno / agent
💧 SCAN: Сканування
☆13Updated last year
Related projects: ⓘ
- 🧊 Типізоване -גчислення☆15Updated 6 months ago
- ☆15Updated this week
- 🧊 Інститут формальної математики☆35Updated 5 months ago
- ☆18Updated this week
- ⭕️ N2O: Haskell Application Server☆47Updated 2 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆18Updated last month
- ☆13Updated this week
- Namdak Tonpa Personal Journal☆5Updated 2 weeks ago
- 🧊 Презентації та воркшопи☆21Updated 10 months ago
- N2O in Haskell☆29Updated 8 years ago
- ☆14Updated this week
- N2O: Application Server☆10Updated last year
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated 6 months ago
- ☆30Updated 6 years ago
- Bread Unit calculator☆33Updated 5 years ago
- Proof theory seminar☆33Updated 3 years ago
- ☆15Updated this week
- ☆12Updated this week
- 🧊 Чиста система з всесвітами☆144Updated 2 months ago
- Terminal logs observer☆16Updated 2 months ago
- ☆13Updated this week
- Haskell / Erlang interoperability library☆29Updated last year
- Category theory and algebra☆27Updated 8 years ago
- PureScript Erlang hello world☆13Updated 6 years ago
- purerl bindings to basic Erlang process functionality☆12Updated 2 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆23Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- An experimental HTTP framework for Idris☆14Updated 4 years ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Updated 5 years ago