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…
☆422Updated last week
Related projects ⓘ
Alternatives and complementary repositories for Reduceron
- Functional programming with fewer indirections☆760Updated 4 years ago
- Haskell implemented with combinators☆367Updated this week
- ATS2: Unleashing the Potentials of Types and Templates☆353Updated 3 weeks ago
- A demo implementation of a simple dependently-typed language☆563Updated this week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,030Updated last year
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆449Updated last month
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆365Updated last year
- Software Foundations in Idris☆452Updated 5 years ago
- A prototype successor to Idris☆539Updated 5 years ago
- A bare-bones calculus-of-constructions☆375Updated 2 years ago
- The Ivory EDSL☆396Updated 4 years ago
- A dependently typed programming language, a successor to Idris☆902Updated 4 years ago
- Compiling to Categories☆437Updated 8 months ago
- Haskell bindings for LLVM☆511Updated 4 months ago
- Liquid Types For Haskell☆1,197Updated this week
- Algebraic graphs☆719Updated 6 months ago
- Industrial-strength monadic parser combinator library☆919Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆592Updated last month
- Optimal evaluator of λ-calculus terms.☆268Updated last year
- Minimal implementations for dependent type checking and elaboration☆619Updated 2 months ago
- A fast, flexible, fused effect system for Haskell☆647Updated 3 months ago
- Generalized bananas, lenses and barbed wire☆337Updated 5 months ago
- Convert Haskell source code to Coq source code☆279Updated 4 years ago
- Type safe interface for working in subcategories of Hask☆419Updated 5 years ago
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆503Updated 4 months ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,166Updated 7 months ago
- Experimental implementation of Cubical Type Theory☆572Updated last year
- The Ott tool for writing definitions of programming languages and calculi☆349Updated 2 months ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆368Updated last year
- Efficient Haskell Arrays featuring Parallel computation☆385Updated 2 months ago