cblp / funlangsLinks
Functional languages index
☆42Updated 6 years ago
Alternatives and similar repositories for funlangs
Users that are interested in funlangs are comparing it to the libraries listed below
Sorting:
- Proof theory seminar☆36Updated 4 years ago
- Coq Lecture Notes (WIP)☆56Updated 5 years ago
- Lasca is Scala shifted towards Haskell.☆134Updated 7 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆25Updated 7 years ago
- every day i'm truffling☆70Updated 4 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- ☆50Updated 8 years ago
- ICFP 2020 papers. Crowd-sourced☆90Updated 5 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆82Updated 4 years ago
- Github project where I track everything related to my thesis☆28Updated 9 years ago
- A minimal example of the Idris C FFI☆14Updated 10 years ago
- STM on Free monads☆25Updated 7 years ago
- Haskell Enterprise Edition☆12Updated 8 years ago
- Extensible records for Idris☆25Updated 4 years ago
- An Idris port of the Haskell Hedghog library☆35Updated 2 months ago
- An Idris 2 build tool and a package manager☆28Updated 3 years ago
- ☆28Updated 7 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated 3 months ago
- Yet another … yet another recursion scheme library for Haskell☆89Updated this week
- A higher-order effect system where the sky's the limit☆91Updated 3 years ago
- Notes on space leaks☆103Updated 5 years ago
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆50Updated 3 months ago
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago
- A test framework for Idris☆55Updated 6 years ago
- TParsec - Total Parser Combinators in Idris☆99Updated 2 years ago
- ☆40Updated 11 years ago
- 🧠 Type-safe memory units☆61Updated 5 years ago
- A total recursion scheme library for Dhall☆66Updated last month
- ☆26Updated 2 years ago
- ☆44Updated 6 years ago