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…
☆452Updated 6 months ago
Alternatives and similar repositories for Reduceron
Users that are interested in Reduceron are comparing it to the libraries listed below
Sorting:
- ATS2: Unleashing the Potentials of Types and Templates☆382Updated 8 months ago
- Compiling to Categories☆458Updated last year
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,059Updated 7 months ago
- The Ivory EDSL☆406Updated 5 years ago
- Software Foundations in Idris☆457Updated 6 years ago
- A demo implementation of a simple dependently-typed language☆617Updated last year
- A prototype successor to Idris☆541Updated 6 years ago
- Haskell bindings for LLVM☆529Updated last year
- A bare-bones calculus-of-constructions☆383Updated 3 years ago
- Functional programming with fewer indirections☆778Updated 5 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆378Updated 2 years ago
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆476Updated 11 months ago
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,582Updated this week
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- ☆303Updated 8 months ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆265Updated last week
- The LLVM LHC Haskell Optimization System☆202Updated 5 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆699Updated 3 weeks ago
- A DSL for embedded hard realtime applications.☆275Updated 8 years ago
- Algebraic graphs☆752Updated 3 weeks ago
- Experimental implementation of Cubical Type Theory☆597Updated 2 years ago
- Haskell implemented with combinators☆684Updated last week
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆388Updated 2 years ago
- Frank compiler☆304Updated last year
- Convert Haskell source code to Coq source code☆282Updated 5 years ago
- Bootstrapping ATS3☆245Updated this week
- A fast, flexible, fused effect system for Haskell☆667Updated last month
- The People's Refinement Logic☆229Updated 3 years ago
- A dependently typed programming language, a successor to Idris☆900Updated 5 years ago
- Type safe interface for working in subcategories of Hask☆420Updated 6 years ago