cblp / funlangs
Functional languages index
☆42Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for funlangs
- Proof theory seminar☆31Updated 3 years ago
- Coq Lecture Notes (WIP)☆50Updated 4 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- Haskell Enterprise Edition☆12Updated 7 years ago
- The category theory by example book☆57Updated last year
- ☆30Updated 6 years ago
- A short scripts and programs☆12Updated last year
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- GRIN backend for Idris☆51Updated 4 years ago
- ♾️ Sized list☆46Updated 6 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- ☆47Updated 6 years ago
- Bread Unit calculator☆33Updated 5 years ago
- FizzBuzz, formally verified, provably correct☆24Updated last year
- Experiments with sequent calculi☆26Updated 3 years ago
- Extensible records for Idris☆26Updated 3 years ago
- A higher-order effect system where the sky's the limit☆90Updated 2 years ago
- Functional Algorithms Verified in SSReflect [maintainer=@clayrat]☆45Updated this week
- ICFP 2020 papers. Crowd-sourced☆92Updated 4 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated last year
- Notes on space leaks☆101Updated 4 years ago
- A work stealing scheduler☆77Updated last year
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- Lasca is Scala shifted towards Haskell.☆128Updated 6 years ago
- ☆41Updated 9 years ago
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 6 years ago
- type-safe JSON spec and validation tool☆84Updated 3 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago