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…
☆464Jul 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:
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,626Updated this week
- Convert lambda expressions to CCC combinators☆150Feb 23, 2016Updated 10 years ago
- Compiling to Categories☆462Feb 28, 2024Updated 2 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆54Mar 27, 2026Updated 7 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆132Jan 23, 2026Updated 9 months 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.
- A Clash playground/starter kit, using Nix☆37Feb 8, 2019Updated 7 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,081Jun 13, 2025Updated last year
- Haskell library for hardware description☆108Aug 18, 2025Updated last year
- A lambda calculus to explore type-directed program synthesis.☆86Jan 20, 2020Updated 6 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- VM and tracing JIT for Haskell (work in progress)☆80Oct 25, 2014Updated 12 years ago
- lazy generators with observation☆14Nov 2, 2023Updated 3 years ago
- Haskell JIT☆188Jan 19, 2020Updated 6 years ago
- A minimal proof language.☆220Jan 26, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A monadic interface for DAG construction.☆25May 11, 2021Updated 5 years ago
- A bare-bones calculus-of-constructions☆385Sep 4, 2022Updated 4 years ago
- Kansas Lava☆50Oct 6, 2019Updated 7 years ago
- a fast, extensible, type driven Haskell ECS framework for games☆425Aug 23, 2026Updated 2 months ago
- Embedded language for high-performance array computations☆1,022Jun 20, 2026Updated 4 months ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆110Feb 27, 2023Updated 3 years ago
- A user-centric visual STG implementation to help understand GHC/Haskell's execution model.☆536Jun 8, 2021Updated 5 years ago
- Algebraic graphs☆763Jan 18, 2026Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆136Dec 2, 2021Updated 4 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 12 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆126Aug 27, 2026Updated 2 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆743Jul 21, 2026Updated 3 months ago
- Clash implementation of the Compucolor II home computer☆32Nov 6, 2021Updated 4 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 9 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆73Feb 5, 2020Updated 6 years ago
- Generic functions for single-sorted first-order structural unification☆46Oct 1, 2026Updated last month
- A demo implementation of a simple dependently-typed language☆632Oct 15, 2026Updated 2 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Demo for high-performance type theory elaboration☆611Feb 2, 2026Updated 9 months ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 7 years ago
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 6 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Jan 14, 2019Updated 7 years ago
- Deriving Storable instances using GHC.Generics☆16Apr 9, 2022Updated 4 years ago
- Generalized bananas, lenses and barbed wire☆362Sep 28, 2026Updated last month
- A special-purpose processor for pure, non-strict functional languages☆36Sep 21, 2026Updated last month