groupoid / cafeLinks
🧊 Презентації та воркшопи
☆21Updated 2 weeks ago
Alternatives and similar repositories for cafe
Users that are interested in cafe are comparing it to the libraries listed below
Sorting:
- 🧊 Інститут формальної математики☆35Updated last week
- ⭕️ N2O: Haskell Application Server☆47Updated 3 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 8 months ago
- 🧊 Типізоване -גчислення☆16Updated 3 weeks ago
- Js libraries for idris☆49Updated 5 years ago
- Proof theory seminar☆35Updated 4 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago
- ♾️ Sized list☆46Updated last year
- N2O in Haskell☆29Updated 9 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated 3 weeks ago
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- 🧊 Чиста система з всесвітами☆147Updated 3 weeks ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- An experimental HTTP framework for Idris☆14Updated 5 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- OTP-like supervision trees in Haskell☆62Updated 6 years ago
- A Unison Github repo explorer in Elm☆34Updated 3 years ago
- A simplified implementation of Erlang/OTP like supervisor for GHC thread☆16Updated 4 years ago
- A simple build system for Idris☆22Updated 4 years ago
- μKanren in Elm☆43Updated 8 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- A data-type like Either but with an accumulating Applicative☆100Updated last year
- Github project where I track everything related to my thesis☆28Updated 8 years ago
- ☆23Updated 8 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago