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…
☆429Updated 4 months ago
Alternatives and similar repositories for Reduceron:
Users that are interested in Reduceron are comparing it to the libraries listed below
- The Ivory EDSL☆397Updated 5 years ago
- A demo implementation of a simple dependently-typed language☆590Updated 5 months ago
- Compiling to Categories☆449Updated last year
- A bare-bones calculus-of-constructions☆377Updated 2 years ago
- A DSL for embedded hard realtime applications.☆271Updated 7 years ago
- Software Foundations in Idris☆454Updated 5 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆360Updated 3 months ago
- A prototype successor to Idris☆540Updated 5 years ago
- Functional programming with fewer indirections☆759Updated 4 years ago
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,485Updated this week
- Haskell implemented with combinators☆473Updated this week
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆458Updated last month
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,038Updated last year
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆253Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆609Updated 3 weeks ago
- Liquid Types For Haskell☆1,238Updated 3 weeks ago
- Haskell bindings for LLVM☆518Updated 9 months ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆371Updated last year
- Parser combinators for Idris☆242Updated 6 years ago
- Industrial-strength monadic parser combinator library☆941Updated 2 months ago
- A dependently typed programming language, a successor to Idris☆900Updated 4 years ago
- Experimental implementation of Cubical Type Theory☆579Updated last year
- Generically derive traversals, lenses, and prisms.☆441Updated 2 weeks ago
- Convert lambda expressions to CCC combinators☆146Updated 9 years ago
- A categorical programming language with effects☆276Updated 2 years ago
- A fast, flexible, fused effect system for Haskell☆655Updated last week
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆378Updated last year
- The LLVM LHC Haskell Optimization System☆200Updated 4 years ago
- Minimal implementations for dependent type checking and elaboration☆657Updated 3 months ago
- Bootstrapping ATS3☆211Updated this week