A gv file representing the relationships between various algebraic structures.
☆19Oct 25, 2020Updated 6 years ago
Alternatives and similar repositories for algebraic-structures
Users that are interested in algebraic-structures are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 4 years ago
- ☆13Jul 31, 2016Updated 10 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- HM type system on a very restricted subset of JS☆13May 13, 2018Updated 8 years ago
- Performance shootout of various trie implementations☆18May 30, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Selective applicative functors☆16Jul 2, 2018Updated 8 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆82Feb 20, 2020Updated 6 years ago
- Functions and newtype wrappers for traversing Trees☆30Sep 13, 2024Updated 2 years ago
- Profunctor optics for the endofunctor category on Hask☆27Sep 23, 2020Updated 6 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16May 15, 2019Updated 7 years ago
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆35Apr 22, 2026Updated 6 months ago
- JSON Web Token (JWT) decoding and encoding☆23Sep 26, 2026Updated last month
- Paper: The simple essence of automatic differentiation☆23Nov 9, 2018Updated 7 years ago
- Directed Acyclic Graphs☆21Sep 4, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A visualiser for lambda terms as rooted maps.☆13Dec 17, 2021Updated 4 years ago
- ☆12Sep 18, 2026Updated last month
- Yet another concurrent playground☆32Nov 18, 2015Updated 10 years ago
- [WIP] Optics via the profunctor representation theorem☆19Dec 18, 2019Updated 6 years ago
- Applicative Folds, in the style of Gabriel Gonzalez' foldl library☆14Mar 21, 2019Updated 7 years ago
- A Haskell library for mathematical graph parsing and writing.☆20Oct 19, 2020Updated 6 years ago
- Stargaze is a CLI tool to help you manage your starred projects on GitHub.☆19Jul 21, 2022Updated 4 years ago
- Haskell Pinboard API Client☆14May 7, 2022Updated 4 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- playing around with an FP interface to animations☆19May 20, 2018Updated 8 years ago
- Algebraic graphs for Elm☆12Jul 20, 2019Updated 7 years ago
- ☆12Jul 8, 2021Updated 5 years ago
- A clean multi-platform re-implementation of dataforge concepts☆28Updated this week
- A common set of gradle plugins for scientifik and dataforge projects☆13Oct 2, 2026Updated last month
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Oct 10, 2024Updated 2 years ago
- GitHub Action for Rust and MUSL☆11Nov 9, 2021Updated 4 years ago
- A project comparing the Tagless Final approach with the Free Monad one, using the Monix's Task as the target monad☆14May 20, 2017Updated 9 years ago
- Refined types☆57Sep 25, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Bring fusion to everyone☆15Feb 6, 2020Updated 6 years ago
- Source code for haskle.net☆33Aug 30, 2023Updated 3 years ago
- Higher-order FRP for PureScript☆13Dec 24, 2022Updated 3 years ago
- Young and dynamic build system for Python☆22Jun 9, 2023Updated 3 years ago
- S. Marlow's Par monad with dataflow graph output☆13Mar 26, 2018Updated 8 years ago
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- ☆13Mar 27, 2013Updated 13 years ago