tommythorn / ReduceronLinks
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…
☆434Updated 2 months ago
Alternatives and similar repositories for Reduceron
Users that are interested in Reduceron are comparing it to the libraries listed below
Sorting:
- Compiling to Categories☆454Updated last year
- Functional programming with fewer indirections☆765Updated 4 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆365Updated 2 weeks ago
- A bare-bones calculus-of-constructions☆380Updated 2 years ago
- A demo implementation of a simple dependently-typed language☆594Updated 7 months ago
- Software Foundations in Idris☆454Updated 6 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,040Updated 2 weeks ago
- Haskell implemented with combinators☆520Updated this week
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆370Updated 2 years ago
- A categorical programming language with effects☆278Updated 2 years ago
- A prototype successor to Idris☆539Updated 5 years ago
- A DSL for embedded hard realtime applications.☆272Updated 8 years ago
- Minimal implementations for dependent type checking and elaboration☆678Updated 3 weeks ago
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆460Updated 4 months ago
- Experimental implementation of Cubical Type Theory☆582Updated last year
- Efficient Haskell Arrays featuring Parallel computation☆389Updated last week
- A simple expressions language with polymorphic extensible row types.☆302Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆618Updated last month
- Generically derive traversals, lenses, and prisms.☆440Updated 2 months ago
- A user-centric visual STG implementation to help understand GHC/Haskell's execution model.☆532Updated 4 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆378Updated last year
- Algebraic graphs☆739Updated last month
- The Ott tool for writing definitions of programming languages and calculi☆376Updated 5 months ago
- Type safe interface for working in subcategories of Hask☆419Updated 6 years ago
- Demo for high-performance type theory elaboration☆556Updated last year
- Programming language agnostic type construction language based on polynomials.☆368Updated last year
- Liquid Types For Haskell☆1,247Updated 2 weeks ago
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,510Updated last week
- Bootstrapping ATS3☆221Updated this week
- Convert lambda expressions to CCC combinators☆146Updated 9 years ago