A list of resources mentioned in corecursive, or in the corecursive slack channel
☆24Jul 29, 2021Updated 4 years ago
Alternatives and similar repositories for resources
Users that are interested in resources are comparing it to the libraries listed below
Sorting:
- A knowledge map about Haskell powered by Obsidian.☆16Aug 28, 2022Updated 3 years ago
- ☆10Jul 22, 2016Updated 9 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆20Jul 13, 2021Updated 4 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- Type check the empty interface{}☆13Aug 14, 2020Updated 5 years ago
- Combine and enhance Functors☆39Aug 12, 2025Updated 6 months ago
- My Idris2 solutions/attempts for Advent of Code 2020☆17Dec 16, 2020Updated 5 years ago
- ☆16Apr 29, 2021Updated 4 years ago
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 6 years ago
- Hash consing for arbitrary Haskell data types☆25Dec 4, 2024Updated last year
- 🌳 a monadic FRP game library for haskell☆25Apr 7, 2020Updated 5 years ago
- Scalafix rules for Typelevel projects☆26Updated this week
- Ghosts of Departed Proofs☆63Nov 26, 2020Updated 5 years ago
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 5 years ago
- recursion-schemes in JS☆57Dec 28, 2016Updated 9 years ago
- Haskell types lined up to highlight their similarities☆30Jan 30, 2020Updated 6 years ago
- Get all your structure and rip it apart.☆33Oct 21, 2018Updated 7 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Dec 18, 2025Updated 2 months ago
- Crazy figures and animations with Haskell☆34Oct 19, 2018Updated 7 years ago
- A Purescript implementation of Elm's `core` library☆30Jun 11, 2018Updated 7 years ago
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 14 years ago
- Examples of polyvariadic functions in Haskell.☆34Sep 23, 2015Updated 10 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆48Feb 10, 2025Updated last year
- Content Addressable Storage Archive☆41Sep 26, 2025Updated 5 months ago
- handouts and notes from the 2017 edition of the summer school☆39Jul 13, 2017Updated 8 years ago
- POC: http4s http api on zio☆35Nov 23, 2022Updated 3 years ago
- This RocketchatApp validates uploaded images against the Microsoft PhotoDNA cloud service and quarantines those identified as child abuse…☆12Nov 17, 2025Updated 3 months ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 5 months ago
- Emits code crossreference data for Haskell sources.☆102Feb 14, 2025Updated last year
- Purely Functional Data Structures in Rust☆43Apr 7, 2016Updated 9 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated this week
- Ruby Enhanced Terminal☆10Nov 29, 2018Updated 7 years ago
- An attempt at writing a Lattice Boltzmann CFD simulator in Rust☆10Apr 29, 2019Updated 6 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- Hardware-tailored grouping for Pauli measurements.☆13Nov 28, 2025Updated 3 months ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- ☆10Jun 14, 2020Updated 5 years ago
- A realworld implementation using purescript-deku☆10Apr 28, 2024Updated last year