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 last month
Alternatives and similar repositories for Reduceron:
Users that are interested in Reduceron are comparing it to the libraries listed below
- Compiling to Categories☆441Updated 10 months ago
- A demo implementation of a simple dependently-typed language☆581Updated 2 months ago
- Functional programming with fewer indirections☆760Updated 4 years ago
- A bare-bones calculus-of-constructions☆375Updated 2 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆249Updated this week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,030Updated last year
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆367Updated last year
- Haskell bindings for LLVM☆514Updated 6 months ago
- The Ivory EDSL☆396Updated 4 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆596Updated last month
- Software Foundations in Idris☆453Updated 5 years ago
- A prototype successor to Idris☆538Updated 5 years ago
- Haskell implemented with combinators☆398Updated this week
- Convert Haskell source code to Coq source code☆279Updated 4 years ago
- Liquid Types For Haskell☆1,212Updated this week
- Minimal implementations for dependent type checking and elaboration☆625Updated 4 months ago
- Experimental implementation of Cubical Type Theory☆572Updated last year
- Industrial-strength monadic parser combinator library☆929Updated 2 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆355Updated 2 weeks ago
- Malfunctional Programming☆343Updated 2 months ago
- A categorical programming language with effects☆271Updated last year
- CakeML: A Verified Implementation of ML☆990Updated this week
- The People's Refinement Logic☆228Updated 2 years ago
- Algebraic graphs☆724Updated 7 months ago
- The Ott tool for writing definitions of programming languages and calculi☆355Updated 2 weeks ago
- A fast, flexible, fused effect system for Haskell☆650Updated last week
- Relational programming in Haskell. Mostly developed on twitch.☆259Updated 4 months ago
- Frank compiler☆281Updated 8 months ago
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆451Updated last month
- Type safe interface for working in subcategories of Hask☆419Updated 5 years ago