FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A h…
☆455Jul 19, 2025Updated 7 months ago
Alternatives and similar repositories for Reduceron
Users that are interested in Reduceron are comparing it to the libraries listed below
Sorting:
- Compiling to Categories☆458Feb 28, 2024Updated 2 years ago
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,585Updated this week
- Haskell library for hardware description☆106Aug 18, 2025Updated 6 months ago
- Convert lambda expressions to CCC combinators☆149Feb 23, 2016Updated 10 years ago
- A Clash playground/starter kit, using Nix☆36Feb 8, 2019Updated 7 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆51Jan 9, 2016Updated 10 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,057Jun 13, 2025Updated 8 months ago
- A minimal proof language.☆213Jan 26, 2019Updated 7 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆128Jan 23, 2026Updated last month
- A bare-bones calculus-of-constructions☆383Sep 4, 2022Updated 3 years ago
- Haskell JIT☆186Jan 19, 2020Updated 6 years ago
- Generic functions for single-sorted first-order structural unification☆45Updated this week
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆265Updated this week
- Generate Haskell code from a type☆146Feb 21, 2025Updated last year
- A demo implementation of a simple dependently-typed language☆619Nov 18, 2024Updated last year
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Feb 27, 2023Updated 3 years ago
- a fast, extensible, type driven Haskell ECS framework for games☆408Dec 26, 2025Updated 2 months ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- Embedded language for high-performance array computations☆950Jan 30, 2026Updated last month
- Type safe interface for working in subcategories of Hask☆420May 16, 2019Updated 6 years ago
- Generalized bananas, lenses and barbed wire☆352Feb 14, 2026Updated 2 weeks ago
- Algebraic graphs☆753Jan 18, 2026Updated last month
- Toy typechecker for Insanely Dependent Types☆82Oct 15, 2025Updated 4 months ago
- Compact regions library for Haskell☆82Jul 2, 2024Updated last year
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 6 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- A lambda calculus to explore type-directed program synthesis.☆85Jan 20, 2020Updated 6 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 6 months ago
- The theory of algebraic graphs formalised in Agda☆91Jul 15, 2018Updated 7 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Jan 20, 2026Updated last month
- Efficient Haskell Arrays featuring Parallel computation☆409Jul 8, 2025Updated 7 months ago
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 5 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆32Dec 27, 2021Updated 4 years ago
- Let GHC prove program equations for you☆146Nov 4, 2018Updated 7 years ago
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆215Mar 25, 2022Updated 3 years ago