dmwit / pi-eta-epsilonView external linksLinks
An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
☆23Jul 5, 2012Updated 13 years ago
Alternatives and similar repositories for pi-eta-epsilon
Users that are interested in pi-eta-epsilon are comparing it to the libraries listed below
Sorting:
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- playing with hyperfunctions☆16May 2, 2021Updated 4 years ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- An implementation of Fibonacci Anyons in Haskell☆22Oct 14, 2019Updated 6 years ago
- A fast, cache-efficient, concurrent bloom filter in Haskell☆19Apr 11, 2018Updated 7 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- All of `base` without the `Prelude` module☆44Jan 30, 2023Updated 3 years ago
- CLI tool for Hackage☆27Sep 1, 2025Updated 5 months ago
- Bidirectional mapping between two key types☆21May 1, 2024Updated last year
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 7 years ago
- Succinct vectors☆20Dec 29, 2018Updated 7 years ago
- This is not the Git repo you're looking for...☆25Jul 23, 2019Updated 6 years ago
- The LC3 virtual machine☆24Dec 14, 2024Updated last year
- ☆10Jun 29, 2021Updated 4 years ago
- A library of Natural Language Processing algorithms for Haskell.☆73Jan 21, 2024Updated 2 years ago
- Fragment-based code distribution!☆128May 12, 2021Updated 4 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆45Jan 23, 2026Updated 3 weeks ago
- a compiler for the Apollo project that targets the HCDCv2 Analog Device☆29Aug 13, 2021Updated 4 years ago
- GTA V fivem rp server for rd2l☆10Oct 25, 2019Updated 6 years ago
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆38Dec 22, 2025Updated last month
- Oblivious transfer for multiparty computation☆37Feb 25, 2020Updated 5 years ago
- Email address validation for Haskell☆43Sep 21, 2024Updated last year
- C++ template containers with optimized memory consumption☆12Feb 8, 2026Updated last week
- An API that wraps around the Tor control port to create ad-hoc hidden services☆10Sep 22, 2019Updated 6 years ago
- ☆11Jul 13, 2022Updated 3 years ago
- Revisiting Whittaker-Henderson Smoothing☆11Jun 19, 2025Updated 7 months ago
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated 2 weeks ago
- Continuously varying values, made easy :)☆42Oct 21, 2019Updated 6 years ago
- Haskell interface to the pcg random number generator☆42Feb 1, 2024Updated 2 years ago
- A few Clio examples☆14Oct 11, 2021Updated 4 years ago
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆28Feb 4, 2026Updated last week
- Collection of simple General Matrix Multiplication - GEMM implementations☆13Feb 26, 2024Updated last year
- ☆10May 2, 2016Updated 9 years ago
- A Halmak support module for the TypeFu app☆11Nov 3, 2019Updated 6 years ago
- Enhanced Handler for ASP.net☆12May 27, 2013Updated 12 years ago
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 5 years ago
- ☆10Feb 18, 2016Updated 9 years ago
- Typeclass for array types☆19Apr 7, 2025Updated 10 months ago