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
- 🧊 Інститут формальної математики☆34Updated last week
- Presentations on Liquid Haskell, type theory, and more☆45Updated 5 months ago
- N2O: Application Server☆11Updated 2 years ago
- ⭕️ N2O: Haskell Application Server☆48Updated 3 years ago
- Proof theory seminar☆33Updated 3 years ago
- A simple build system for Idris☆22Updated 4 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- Effectful Streaming for Idris☆14Updated 4 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- N2O in Haskell☆29Updated 8 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- a project manage tool for Idris☆17Updated 8 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- ☆22Updated 8 years ago
- 🧊 Чиста система з всесвітами☆145Updated 3 weeks ago
- Js libraries for idris☆49Updated 5 years ago
- ☆49Updated 7 years ago
- Experiments with sequent calculi☆27Updated 4 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated last week
- WIP: unison http implementation☆19Updated 5 years ago
- Provably correct implementation of insertion sort in Idris.☆30Updated 3 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated last year
- A port of QuickCheck to Idris☆57Updated 7 years ago
- Book: Introduction to Dependent Types with Idris☆77Updated 2 years ago
- A test framework for Idris☆54Updated 6 years ago
- A Unison Github repo explorer in Elm☆34Updated 3 years ago
- An HTTP library for idris☆39Updated 6 years ago
- ♾️ Sized list☆46Updated 10 months ago