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…
☆447Updated 3 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☆456Updated last year
- ATS2: Unleashing the Potentials of Types and Templates☆374Updated 4 months ago
- The Ivory EDSL☆402Updated 5 years ago
- A bare-bones calculus-of-constructions☆380Updated 3 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆374Updated 2 years ago
- Software Foundations in Idris☆456Updated 6 years ago
- A prototype successor to Idris☆541Updated 6 years ago
- Functional programming with fewer indirections☆771Updated 5 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,053Updated 4 months ago
- A demo implementation of a simple dependently-typed language☆613Updated 11 months ago
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆468Updated 8 months ago
- The LLVM LHC Haskell Optimization System☆202Updated 5 years ago
- Haskell bindings for LLVM☆526Updated last year
- A DSL for embedded hard realtime applications.☆274Updated 8 years ago
- Experimental implementation of Cubical Type Theory☆591Updated 2 years ago
- Optimal evaluator of λ-calculus terms.☆281Updated 2 years ago
- ☆299Updated 4 months ago
- Convert Haskell source code to Coq source code☆281Updated 4 years ago
- Haskell JIT☆186Updated 5 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆638Updated last week
- Relational programming in Haskell. Mostly developed on twitch.☆266Updated last year
- Frank compiler☆300Updated last year
- Algebraic graphs☆747Updated 2 months ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆261Updated last week
- Efficient Haskell Arrays featuring Parallel computation☆401Updated 3 months ago
- Type safe interface for working in subcategories of Hask☆419Updated 6 years ago
- Examples of Dependently-typed programs in Haskell☆307Updated 3 years ago
- A categorical programming language with effects☆287Updated 2 years ago
- Parser combinators for Idris☆244Updated 6 years ago
- A dependently typed programming language, a successor to Idris☆900Updated 5 years ago