Loopless Functional Algorithms (Haskell)
☆16Dec 30, 2023Updated 2 years ago
Alternatives and similar repositories for Loopless-Functional-Algorithms
Users that are interested in Loopless-Functional-Algorithms are comparing it to the libraries listed below
Sorting:
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- replace scalacheck-shapeless with scalacheck-magnolia for insane compilation speed up☆34Apr 15, 2019Updated 6 years ago
- Experiments with incremental compiler construction on the JVM☆13Mar 15, 2022Updated 3 years ago
- ☆18Aug 31, 2022Updated 3 years ago
- A geometric algebra implementation in Haskell☆32Sep 7, 2020Updated 5 years ago
- Unique Functional Values for Scala☆17Sep 3, 2024Updated last year
- opentracing for pure applications☆17Jan 8, 2019Updated 7 years ago
- Talks on category-parametric programming.☆23Dec 15, 2023Updated 2 years ago
- Newtype for cats☆51May 2, 2019Updated 6 years ago
- topos programming☆31Sep 20, 2018Updated 7 years ago
- Yahboom Raspblock AI smart car for Raspberry Pi 4B☆11Jul 5, 2023Updated 2 years ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- Examples of polyvariadic functions in Haskell.☆34Sep 23, 2015Updated 10 years ago
- Deal with failures☆38May 13, 2019Updated 6 years ago
- Isomorphic Reasoning: Counting with Types☆38Jun 5, 2020Updated 5 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- C++17 Wrapper for ScaLAPACK☆11Oct 5, 2023Updated 2 years ago
- Hacky applicative-style for comprehensions for Scala.☆37Apr 29, 2022Updated 3 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- CLI for your web apps and microservices☆10May 6, 2019Updated 6 years ago
- http4s integration with fs2-data☆12Updated this week
- join and meet semilattices, lower and upper bounds.☆48Sep 22, 2025Updated 5 months ago
- A convenient DSL for describing web routes☆42Nov 21, 2020Updated 5 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Safety Risk Reliability Model Library☆12Jan 23, 2025Updated last year
- Web UI for analyzing Language Server Protocol logs☆13Feb 28, 2023Updated 2 years ago
- scraps and bits and bobs☆13Jul 28, 2022Updated 3 years ago
- A library to microbenchmark lambdas in C# and F# that runs on both Windows (clr) and Linux (mono).☆14Mar 9, 2017Updated 8 years ago
- Monadic Error Handling for Python☆11Aug 29, 2024Updated last year
- ☆17Aug 21, 2024Updated last year
- Type-safe general-cryptography library - https://jmcardon.github.io/tsec/☆12Jul 1, 2024Updated last year
- Código para streaming de áudio de um ESP32 para um Raspberry☆11Jan 31, 2019Updated 7 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- an optimizing curry compiler☆14Nov 27, 2022Updated 3 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- Radial Edge data structure☆14Oct 25, 2025Updated 4 months ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago