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…
☆422Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for Reduceron
- Functional programming with fewer indirections☆761Updated 4 years ago
- Haskell implemented with combinators☆364Updated this week
- Compiling to Categories☆436Updated 8 months ago
- A demo implementation of a simple dependently-typed language☆563Updated 3 months ago
- The Ivory EDSL☆394Updated 4 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆353Updated 2 weeks ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,029Updated last year
- A bare-bones calculus-of-constructions☆374Updated 2 years ago
- A prototype successor to Idris☆539Updated 5 years ago
- Experimental implementation of Cubical Type Theory☆572Updated last year
- Minimal implementations for dependent type checking and elaboration☆617Updated last month
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆243Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆590Updated 3 weeks ago
- Demo for high-performance type theory elaboration☆519Updated last year
- Software Foundations in Idris☆452Updated 5 years ago
- Industrial-strength monadic parser combinator library☆916Updated last month
- Haskell bindings for LLVM☆511Updated 3 months ago
- Efficient Haskell Arrays featuring Parallel computation☆386Updated 2 months ago
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆450Updated last month
- Liquid Types For Haskell☆1,196Updated this week
- The People's Refinement Logic☆227Updated last year
- Bootstrapping ATS3☆198Updated this week
- Algebraic graphs☆719Updated 5 months ago
- A fast, flexible, fused effect system for Haskell☆647Updated 2 months ago
- CakeML: A Verified Implementation of ML☆961Updated this week
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆366Updated last year
- The MLton repository☆956Updated last week
- A DSL for embedded hard realtime applications.☆270Updated 7 years ago
- Examples of Dependently-typed programs in Haskell☆304Updated 2 years ago