tommythorn/Reduceron
View on GitHub ↗ ★ 464 Haskell
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 high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.
7 mentions on Hacker News by 5 people: 0 stories, 7 comments · first 2015-02-08 · latest 2023-11-22
-
…https://www.cambridge.org/core/journals/journal-of-functiona... https://github.com/tommythorn/Reduceron also: https://en.wikipedia.org/wiki/Graph_reduction_machine
comment by LargoLasskhyfv · 2023-11-22 · in The Hardware Lottery (2020) -
…is meaningless. Thank you, I hadn't heard of the Reduceron! https://www.cs.york.ac.uk/fp/reduceron/ https://github.com/tommythorn/Reduceron Without getting too far out in the weeds, I appreciate what they're trying to do, but wide busses…
comment by zackmorris · 2023-06-28 · in AMD Introduces World’s Largest FPGA-Based Adaptive SoC for Emulation -
…that got into implementing a GC on silicon for a graph rewriting based architecture Maybe this one: https://github.com/tommythorn/Reduceron
comment by still_grokking · 2020-12-13 · in If-then-else had to be invented -
…to fab a chip (though 28nm is almost affordable). [1] https://www.cs.york.ac.uk/fp/reduceron [2] https://github.com/tommythorn/Reduceron PS: Reduceron has a hardware garbage collector
comment by FullyFunctional · 2017-09-29 · in A Brief History of Lisp Machines (2008) -
…FP is tied to a mathematical construct for which conventional CPUs are not optimized. Related: https://github.com/tommythorn/Reduceron https://stackoverflow.com/questions/15005670/why-is-there-no...
comment by neftaly · 2017-08-31 · in What's Functional Programming All About? -
…with basic motivation for pushing all the way to hardware (just not for Lisp). That's why I work on https://github.com/tommythorn/Reduceron
comment by FullyFunctional · 2015-02-08 · in The Future of the LispM