cblp / funlangs
Functional languages index
☆41Updated 5 years ago
Alternatives and similar repositories for funlangs:
Users that are interested in funlangs are comparing it to the libraries listed below
- Proof theory seminar☆34Updated 4 years ago
- Coq Lecture Notes (WIP)☆54Updated 4 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- ☆30Updated 7 years ago
- The category theory by example book☆59Updated last year
- STM on Free monads☆23Updated 6 years ago
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆47Updated 3 months ago
- FizzBuzz, formally verified, provably correct☆26Updated 2 years ago
- ⭕️ N2O: Haskell Application Server☆48Updated 3 years ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- 🧊 Інститут формальної математики☆34Updated this week
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- ☆28Updated 6 years ago
- type-safe JSON spec and validation tool☆85Updated 4 years ago
- A short scripts and programs☆12Updated 2 years ago
- ☆40Updated 5 years ago
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- haskell lazy evaluation illustrated☆72Updated 7 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆67Updated 4 months ago
- ♾️ Sized list☆46Updated 11 months ago
- An Idris 2 build tool and a package manager☆28Updated 2 years ago
- A higher-order effect system where the sky's the limit☆91Updated 2 years ago
- ☆13Updated 3 weeks ago
- ☆49Updated 7 years ago
- GRIN backend for Idris☆51Updated 5 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- Notes on space leaks☆101Updated 4 years ago