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
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 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
- All of `base` without the `Prelude` module☆44Jan 30, 2023Updated 3 years ago
- CLI tool for Hackage☆27Sep 1, 2025Updated 6 months ago
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 7 years ago
- Bidirectional mapping between two key types☆21May 1, 2024Updated last year
- 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.☆72Jan 21, 2024Updated 2 years ago
- Fragment-based code distribution!☆128May 12, 2021Updated 4 years ago
- a compiler for the Apollo project that targets the HCDCv2 Analog Device☆29Aug 13, 2021Updated 4 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆45Jan 23, 2026Updated last month
- GTA V fivem rp server for rd2l☆10Oct 25, 2019Updated 6 years ago
- Oblivious transfer for multiparty computation☆37Feb 25, 2020Updated 6 years ago
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆38Dec 22, 2025Updated 2 months ago
- Email address validation for Haskell☆43Sep 21, 2024Updated last year
- C++ template containers with optimized memory consumption☆12Updated this week
- Revisiting Whittaker-Henderson Smoothing☆11Jun 19, 2025Updated 8 months ago
- ☆11Jul 13, 2022Updated 3 years ago
- An API that wraps around the Tor control port to create ad-hoc hidden services☆10Sep 22, 2019Updated 6 years ago
- Continuously varying values, made easy :)☆42Oct 21, 2019Updated 6 years ago
- Haskell interface to the pcg random number generator☆41Feb 1, 2024Updated 2 years ago
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated last month
- Collection of simple General Matrix Multiplication - GEMM implementations☆13Feb 26, 2024Updated 2 years ago
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 6 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month
- Extensions for *scratch* buffer of Emacs☆13Jun 17, 2022Updated 3 years ago
- Dynamic analysis tool to find memory overlaps in an executable☆10Apr 25, 2022Updated 3 years ago
- Typeclass for array types☆19Apr 7, 2025Updated 11 months ago
- A Halmak support module for the TypeFu app☆11Nov 3, 2019Updated 6 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago