Talk on folds & unfolds (and combinations) for general algebraic data types
☆12Aug 6, 2013Updated 12 years ago
Alternatives and similar repositories for talk-2012-folds-and-unfolds
Users that are interested in talk-2012-folds-and-unfolds are comparing it to the libraries listed below
Sorting:
- Python notes☆10Aug 13, 2022Updated 3 years ago
- Parser combinators for Zig, ready to parse on-the-fly. Consume input, not memory.☆36Jan 26, 2026Updated last month
- ☆13Dec 15, 2025Updated 2 months ago
- Docker image for building MongoDB for Linux from source.☆12Updated this week
- Helm charts repository☆11Mar 22, 2024Updated last year
- Open-source agent skills for live sports data and prediction markets. Football, F1, Kalshi, Polymarket. Zero API keys. SKILL.md format.☆40Mar 2, 2026Updated last week
- FPGA-версия платы МС1201.02 и ЭВМ ДВК-3☆13Mar 2, 2021Updated 5 years ago
- Interactive dive into fs2☆33Oct 11, 2018Updated 7 years ago
- ☆13Apr 28, 2025Updated 10 months ago
- TimeFlies: Push-Pull Signal-Function Functional Reactive Programming (Master's Thesis)☆18Aug 20, 2013Updated 12 years ago
- Scalacheck Arbitrary type class derivation using magnolia☆10Jan 13, 2023Updated 3 years ago
- ☆11Updated this week
- OpenAMP fork of the kvmtool Project. For experimental work and upstream staging.☆10Apr 4, 2024Updated last year
- ☆23Sep 22, 2021Updated 4 years ago
- An extensible effect monad☆13Jan 4, 2023Updated 3 years ago
- An implementation of the OpenTelemetry specification as a Kotlin Multiplatform Library☆39Updated this week
- A C++ implementation of a PID Controller.☆11Jul 30, 2017Updated 8 years ago
- Utility that parses stack sizes section from elf objects and displays the preallocated stack size of each function.☆14Jan 15, 2020Updated 6 years ago
- Scalar 2024 - Generative Art in Scala, No AI Required☆11Mar 27, 2024Updated last year
- Pure-Scala CRDTs☆11Jan 8, 2015Updated 11 years ago
- Exámenes de programación funcional con Haskell☆10Jun 18, 2023Updated 2 years ago
- An implementation of Dijkstra in Clojure☆19Aug 7, 2012Updated 13 years ago
- Simple scala library for building and parsing URIs☆14Nov 24, 2025Updated 3 months ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Our Official Blog: we write about the development of EOLANG and 𝜑-calculus☆16Feb 27, 2026Updated last week
- ☆12Feb 15, 2016Updated 10 years ago
- A list of JARM fingerprints from malicious IPs, matched against known C2 fingerprints.☆12Jun 9, 2025Updated 9 months ago
- An interactive online classroom with Realtime Video Communication, Text Editor & Whiteboard☆10Jan 5, 2023Updated 3 years ago
- A typeclass and set of functions for working with newtypes.☆10May 19, 2022Updated 3 years ago
- Scala-to-Minecraft testing framework.☆16Mar 2, 2026Updated last week
- ☆16Sep 19, 2024Updated last year
- Generates ffi-compatible layer for your rust code☆11Jul 4, 2020Updated 5 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 6 months ago
- Example telegram bot implementation using fs2 and http4s client (no akka)☆43May 7, 2022Updated 3 years ago
- A general framework for multi-agent systems. An agent-environment interface is abstracted with a free monad.☆16Jan 12, 2018Updated 8 years ago
- Java API for influx database to fetch and persist data.☆13May 20, 2022Updated 3 years ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 7 years ago
- Haskell Bot it :: Haskell framework for writing multiplatform message bots☆12Sep 28, 2017Updated 8 years ago
- Implementation of Voronoi with jq☆11Jun 18, 2021Updated 4 years ago