groupoid / cafe
🧊 Презентації та воркшопи
☆21Updated last year
Alternatives and similar repositories for cafe:
Users that are interested in cafe are comparing it to the libraries listed below
- 🧊 Типізоване -גчислення☆16Updated last year
- ⭕️ N2O: Haskell Application Server☆48Updated 3 years ago
- 🧊 Інститут формальної математики☆34Updated this week
- 🧊 Чиста система з всесвітами☆147Updated this week
- A simple build system for Idris☆22Updated 4 years ago
- ☆49Updated 7 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated last year
- N2O in Haskell☆29Updated 9 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 6 months ago
- Proof theory seminar☆34Updated 4 years ago
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- ☆30Updated 7 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- A simplified implementation of Erlang/OTP like supervisor for GHC thread☆16Updated 4 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated this week
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- N2O: Application Server☆12Updated 2 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- Idris Todo web application example☆42Updated 2 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 3 years ago
- SDL bindings package for idris☆46Updated 5 years ago
- a project manage tool for Idris☆17Updated 8 years ago
- A small library for tracking mutable state in Idris programs☆12Updated 8 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- Slides & demos for talks I do☆59Updated 4 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- A talk given at the Polyglot meetup in CPH, March 2018☆13Updated 6 years ago
- ☆22Updated 8 years ago