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…
☆461Jul 19, 2025Updated last year
Alternatives and similar repositories for Reduceron
Users that are interested in Reduceron are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Clash playground/starter kit, using Nix☆37Feb 8, 2019Updated 7 years ago
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,618Updated this week
- Convert lambda expressions to CCC combinators☆150Feb 23, 2016Updated 10 years ago
- Compiling to Categories☆459Feb 28, 2024Updated 2 years ago
- Haskell library for hardware description☆107Aug 18, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,080Jun 13, 2025Updated last year
- Cλash/Haskell FPGA-based SKI calculus evaluator☆52Mar 27, 2026Updated 5 months ago
- A minimal proof language.☆219Jan 26, 2019Updated 7 years ago
- A monadic interface for DAG construction.☆25May 11, 2021Updated 5 years ago
- VM and tracing JIT for Haskell (work in progress)☆80Oct 25, 2014Updated 11 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆130Jan 23, 2026Updated 8 months ago
- Haskell JIT☆188Jan 19, 2020Updated 6 years ago
- A bare-bones calculus-of-constructions☆385Sep 4, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- A SKI combinators interpreter written in assembly☆21Jul 25, 2020Updated 6 years ago
- a fast, extensible, type driven Haskell ECS framework for games☆424Aug 23, 2026Updated last month
- Generic functions for single-sorted first-order structural unification☆45May 1, 2026Updated 4 months ago
- A lambda calculus to explore type-directed program synthesis.☆85Jan 20, 2020Updated 6 years ago
- Embedded language for high-performance array computations☆1,020Jun 20, 2026Updated 3 months ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆267Sep 15, 2026Updated last week
- A demo implementation of a simple dependently-typed language☆630Nov 18, 2024Updated last year
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆109Feb 27, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Generalized bananas, lenses and barbed wire☆360Feb 14, 2026Updated 7 months ago
- Type safe interface for working in subcategories of Hask☆421May 16, 2019Updated 7 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆23Feb 3, 2026Updated 7 months ago
- Hypertypes - generic programming for heterogeneous recursive types☆125Aug 27, 2026Updated 3 weeks ago
- Demo for high-performance type theory elaboration☆602Feb 2, 2026Updated 7 months ago
- A special-purpose processor for pure, non-strict functional languages☆36Updated this week
- BibTeX database management in Idris☆18May 13, 2014Updated 12 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆736Jul 21, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Clash implementation of the Compucolor II home computer☆32Nov 6, 2021Updated 4 years ago
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 6 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 9 years ago
- ☆19Jan 6, 2024Updated 2 years ago
- Generate Haskell code from a type☆152Feb 21, 2025Updated last year
- A Haskell-only implementation of zlib / DEFLATE.☆32Dec 27, 2021Updated 4 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago