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…
☆442Updated last month
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☆371Updated 3 months ago
- Compiling to Categories☆455Updated last year
- The Ivory EDSL☆400Updated 5 years ago
- A demo implementation of a simple dependently-typed language☆611Updated 9 months ago
- Software Foundations in Idris☆455Updated 6 years ago
- A bare-bones calculus-of-constructions☆380Updated 3 years ago
- Functional programming with fewer indirections☆767Updated 5 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆260Updated this week
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆372Updated 2 years ago
- A prototype successor to Idris☆541Updated 6 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,049Updated 3 months ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆383Updated last year
- A DSL for embedded hard realtime applications.☆274Updated 8 years ago
- Frank compiler☆298Updated last year
- Convert Haskell source code to Coq source code☆280Updated 4 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆629Updated 4 months ago
- Haskell bindings for LLVM☆523Updated last year
- Algebraic graphs☆744Updated last month
- Experimental implementation of Cubical Type Theory☆587Updated last year
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- ☆298Updated 3 months ago
- A categorical programming language with effects☆284Updated 2 years ago
- Demo for high-performance type theory elaboration☆566Updated last year
- Relational programming in Haskell. Mostly developed on twitch.☆265Updated last year
- Optimal evaluator of λ-calculus terms.☆281Updated 2 years ago
- Spartan type theory☆271Updated 2 weeks ago
- Bootstrapping ATS3☆227Updated last week
- Haskell implemented with combinators☆603Updated this week
- Type safe interface for working in subcategories of Hask☆419Updated 6 years ago
- Liquid Types For Haskell☆1,256Updated 2 weeks ago