groupoid / cafe
🧊 Презентації та воркшопи
☆21Updated 10 months ago
Related projects: ⓘ
- 🧊 Інститут формальної математики☆35Updated 5 months ago
- 🧊 Типізоване -גчислення☆15Updated 6 months ago
- ☆15Updated this week
- ⭕️ N2O: Haskell Application Server☆47Updated 2 years ago
- ☆13Updated this week
- A simplified implementation of Erlang/OTP like supervisor for GHC thread☆16Updated 3 years ago
- A simple build system for Idris☆22Updated 3 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated 6 months ago
- Presentations on Liquid Haskell, type theory, and more☆44Updated 2 weeks ago
- ☆18Updated this week
- Proof theory seminar☆33Updated 3 years ago
- N2O: Application Server☆10Updated last year
- Haskell / Erlang interoperability library☆29Updated last year
- 🧊 Модальний гомотопічний верифікатор математики☆18Updated last month
- Concurrency library inspired by Erlang/OTP☆19Updated 9 months ago
- A well-typed symmetric-monoidal category of concurrent processes☆23Updated 5 years ago
- ♾️ Sized list☆46Updated 4 months ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 7 years ago
- Effectful Streaming for Idris☆14Updated 3 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- N2O in Haskell☆29Updated 8 years ago
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago
- ☆15Updated this week
- An Idris type provider for communicating type-checkable protocols.☆26Updated 6 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- An experimental HTTP framework for Idris☆14Updated 4 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 7 years ago
- Kleene algebra, regular expressions☆32Updated 10 months ago