tommythorn / Reduceron
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…
☆427Updated 2 months ago
Alternatives and similar repositories for Reduceron:
Users that are interested in Reduceron are comparing it to the libraries listed below
- Functional programming with fewer indirections☆760Updated 4 years ago
- Compiling to Categories☆445Updated 11 months ago
- A prototype successor to Idris☆538Updated 5 years ago
- Software Foundations in Idris☆454Updated 5 years ago
- The Ivory EDSL☆396Updated 5 years ago
- A bare-bones calculus-of-constructions☆376Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆605Updated last week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,034Updated last year
- Minimal implementations for dependent type checking and elaboration☆640Updated 3 weeks ago
- Haskell implemented with combinators☆424Updated this week
- A demo implementation of a simple dependently-typed language☆589Updated 3 months ago
- Liquid Types For Haskell☆1,225Updated last week
- Haskell bindings for LLVM☆516Updated 7 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆355Updated last month
- Industrial-strength monadic parser combinator library☆934Updated 3 weeks ago
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,469Updated last week
- A dependently typed programming language, a successor to Idris☆899Updated 4 years ago
- Type safe interface for working in subcategories of Hask☆420Updated 5 years ago
- Convert Haskell source code to Coq source code☆280Updated 4 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆252Updated this week
- Efficient Haskell Arrays featuring Parallel computation☆386Updated last month
- A user-centric visual STG implementation to help understand GHC/Haskell's execution model.☆531Updated 3 years ago
- A categorical programming language with effects☆274Updated last year
- Convert lambda expressions to CCC combinators☆146Updated 8 years ago
- Experimental implementation of Cubical Type Theory☆574Updated last year
- A fast, flexible, fused effect system for Haskell☆648Updated last month
- Algebraic graphs☆735Updated 9 months ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆369Updated last year
- The strongly hyped Haskell interpreter.☆366Updated last month
- Compiler for the Mirth programming language.☆458Updated this week