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…
☆437Updated 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
- The Ivory EDSL☆399Updated 5 years ago
- A bare-bones calculus-of-constructions☆380Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆367Updated last month
- Functional programming with fewer indirections☆765Updated 4 years ago
- A DSL for embedded hard realtime applications.☆272Updated 8 years ago
- Software Foundations in Idris☆454Updated 6 years ago
- A demo implementation of a simple dependently-typed language☆595Updated 8 months ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,041Updated last month
- A prototype successor to Idris☆540Updated 6 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆370Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆622Updated 2 months ago
- Algebraic graphs☆741Updated last week
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆461Updated 4 months ago
- Frank compiler☆296Updated last year
- Experimental implementation of Cubical Type Theory☆585Updated last year
- Optimal evaluator of λ-calculus terms.☆277Updated 2 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆379Updated last year
- A categorical programming language with effects☆282Updated 2 years ago
- ☆297Updated last month
- Demo for high-performance type theory elaboration☆559Updated last year
- Haskell bindings for LLVM☆522Updated last year
- Type safe interface for working in subcategories of Hask☆419Updated 6 years ago
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,519Updated this week
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆256Updated last week
- The LLVM LHC Haskell Optimization System☆201Updated 5 years ago
- Convert Haskell source code to Coq source code☆281Updated 4 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- Compiler for the Mirth programming language.☆473Updated last month
- Haskell implemented with combinators☆555Updated this week