A gv file representing the relationships between various algebraic structures.
☆19Oct 25, 2020Updated 5 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 3 years ago
- ☆13Jul 31, 2016Updated 9 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Apr 8, 2022Updated 3 years ago
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆35Jan 17, 2026Updated 2 months ago
- Selective applicative functors☆16Jul 2, 2018Updated 7 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆82Feb 20, 2020Updated 6 years ago
- Performance shootout of various trie implementations☆18May 30, 2019Updated 6 years ago
- Functions and newtype wrappers for traversing Trees☆30Sep 13, 2024Updated last year
- JSON Web Token (JWT) decoding and encoding☆22Sep 9, 2024Updated last year
- A Haskell library supporting flexible, dynamic file-based configuration.☆16May 15, 2019Updated 6 years ago
- A visualiser for lambda terms as rooted maps.☆13Dec 17, 2021Updated 4 years ago
- ☆12Jul 8, 2021Updated 4 years ago
- Paper: The simple essence of automatic differentiation☆23Nov 9, 2018Updated 7 years ago
- Directed Acyclic Graphs☆21Jan 12, 2025Updated last year
- Source code for haskle.net☆30Aug 30, 2023Updated 2 years ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 4 years ago
- [WIP] Optics via the profunctor representation theorem☆20Dec 18, 2019Updated 6 years ago
- Higher-order FRP for PureScript☆13Dec 24, 2022Updated 3 years ago
- Stargaze is a CLI tool to help you manage your starred projects on GitHub.☆19Jul 21, 2022Updated 3 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Oct 10, 2025Updated 5 months ago
- A Haskell library for mathematical graph parsing and writing.☆20Oct 19, 2020Updated 5 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- Profunctor optics for the endofunctor category on Hask☆27Sep 23, 2020Updated 5 years ago
- A common set of gradle plugins for scientifik and dataforge projects☆13Dec 17, 2025Updated 3 months ago
- Haskell Pinboard API Client☆15May 7, 2022Updated 3 years ago
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- A GHCJS binding to React based on the Flux design. The flux design pushes state and complicated logic out of the view, allowing the rende…☆32Sep 29, 2019Updated 6 years ago
- Refined types☆57Sep 25, 2018Updated 7 years ago
- GitHub Action for Rust and MUSL☆11Nov 9, 2021Updated 4 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Oct 10, 2024Updated last year
- Lens powered regular expression☆16Feb 21, 2021Updated 5 years ago
- Young and dynamic build system for Python☆21Jun 9, 2023Updated 2 years ago
- Proposes a word from a dictionary that matches the knowns in a popular worlde game☆13Feb 4, 2022Updated 4 years ago
- Implementation of semver and NPM-style semantic version ranges in Haskell☆12Apr 8, 2020Updated 5 years ago
- ☆20Apr 17, 2018Updated 7 years ago
- Website for CSE230☆10Jan 29, 2016Updated 10 years ago
- General tools for Neil☆38Feb 2, 2025Updated last year
- ☆41Feb 17, 2020Updated 6 years ago
- Overview of pre-defined compiler macros for standards, compilers, operating systems, and hardware architectures☆14Sep 10, 2015Updated 10 years ago