groupoid / cafe
🧊 Презентації та воркшопи
☆20Updated last year
Related projects ⓘ
Alternatives and complementary repositories for cafe
- 🧊 Інститут формальної математики☆35Updated 7 months ago
- ⭕️ N2O: Haskell Application Server☆48Updated 2 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- N2O in Haskell☆29Updated 8 years ago
- 🧊 Типізоване -גчислення☆15Updated 8 months ago
- A simple build system for Idris☆22Updated 3 years ago
- Proof theory seminar☆31Updated 3 years ago
- Presentations on Liquid Haskell, type theory, and more☆44Updated 3 weeks ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated 8 months ago
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- An experimental HTTP framework for Idris☆14Updated 4 years ago
- A short scripts and programs☆12Updated last year
- OTP-like supervision trees in Haskell☆62Updated 5 years ago
- Category theory and algebra☆27Updated 8 years ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 6 years ago
- 💧 SCAN: Сканування☆13Updated 2 years ago
- A simplified implementation of Erlang/OTP like supervisor for GHC thread☆16Updated 4 years ago
- Focused domain model declaration toolkit for Haskell☆47Updated 11 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Updated 5 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- GRIN backend for Idris☆51Updated 4 years ago