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…
☆456Jul 19, 2025Updated 8 months ago
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☆36Feb 8, 2019Updated 7 years ago
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,590Updated this week
- Convert lambda expressions to CCC combinators☆149Feb 23, 2016Updated 10 years ago
- Compiling to Categories☆458Feb 28, 2024Updated 2 years ago
- Haskell library for hardware description☆106Aug 18, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,057Jun 13, 2025Updated 9 months ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆50Jan 9, 2016Updated 10 years ago
- A minimal proof language.☆213Jan 26, 2019Updated 7 years ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- Haskell JIT☆186Jan 19, 2020Updated 6 years ago
- A bare-bones calculus-of-constructions☆384Sep 4, 2022Updated 3 years ago
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆129Jan 23, 2026Updated 2 months ago
- a fast, extensible, type driven Haskell ECS framework for games☆409Mar 14, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Generic functions for single-sorted first-order structural unification☆45Mar 1, 2026Updated 3 weeks ago
- A lambda calculus to explore type-directed program synthesis.☆85Jan 20, 2020Updated 6 years ago
- ☆17Jan 6, 2024Updated 2 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- Embedded language for high-performance array computations☆952Jan 30, 2026Updated 2 months ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆266Mar 23, 2026Updated last week
- A demo implementation of a simple dependently-typed language☆620Nov 18, 2024Updated last year
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Feb 27, 2023Updated 3 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆124Jan 12, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Type safe interface for working in subcategories of Hask☆420May 16, 2019Updated 6 years ago
- Generalized bananas, lenses and barbed wire☆353Feb 14, 2026Updated last month
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 9 years ago
- Demo for high-performance type theory elaboration☆585Feb 2, 2026Updated last month
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆22Feb 3, 2026Updated last month
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆707Mar 2, 2026Updated 3 weeks ago
- Clash implementation of the Compucolor II home computer☆32Nov 6, 2021Updated 4 years ago
- Generate Haskell code from a type☆146Feb 21, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 5 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 8 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆32Dec 27, 2021Updated 4 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Succinct vectors☆20Dec 29, 2018Updated 7 years ago
- Named parameters (keyword arguments) for Haskell☆98Mar 16, 2025Updated last year