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…
☆432Updated last week
Alternatives and similar repositories for Reduceron:
Users that are interested in Reduceron are comparing it to the libraries listed below
- A demo implementation of a simple dependently-typed language☆591Updated 5 months ago
- Haskell implemented with combinators☆476Updated this week
- Functional programming with fewer indirections☆762Updated 4 years ago
- Compiling to Categories☆450Updated last year
- Software Foundations in Idris☆455Updated 5 years ago
- A prototype successor to Idris☆540Updated 5 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆612Updated last month
- A bare-bones calculus-of-constructions☆378Updated 2 years ago
- Experimental implementation of Cubical Type Theory☆581Updated last year
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆254Updated this week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,041Updated 2 years ago
- Minimal implementations for dependent type checking and elaboration☆660Updated 3 months ago
- A fast, flexible, fused effect system for Haskell☆655Updated last week
- Efficient Haskell Arrays featuring Parallel computation☆386Updated 3 months ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆371Updated last year
- Haskell bindings for LLVM☆518Updated 9 months ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆379Updated last year
- Convert Haskell source code to Coq source code☆281Updated 4 years ago
- Frank compiler☆291Updated last year
- Generically derive traversals, lenses, and prisms.☆441Updated last month
- A categorical programming language with effects☆277Updated 2 years ago
- Programming language agnostic type construction language based on polynomials.☆367Updated 11 months ago
- Relational programming in Haskell. Mostly developed on twitch.☆263Updated 8 months ago
- Standard library for linear types in Haskell.☆343Updated last month
- The Ivory EDSL☆398Updated 5 years ago
- A dependently typed programming language, a successor to Idris☆900Updated 4 years ago
- Parser combinators for Idris☆242Updated 6 years ago
- Algebraic graphs☆737Updated 11 months ago
- Liquid Types For Haskell☆1,238Updated this week
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆459Updated 2 months ago