Tommy Thorn (tommythorn)

tommythorn

Geek Repo

Location:Milpitas, CA, USA

Home Page:https://chaos.social/@tommythorn

Twitter:@iamtommythorn

Github PK Tool:Github PK Tool

Tommy Thorn's repositories

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 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.

fpgammix

Partial implementation of Knuth's MMIX processor (FPGA softcore)

Language:CStargazers:46Issues:7Issues:0

Paperlike-Raspberry-Pi-4

How to use a Dasung Paperlike HD-F, HD-FT, and Paperlike 253 with Raspberry Pi 4 [and other hosts?]

verilator-demo

A very simple example of how to use Verilator

Language:C++Stargazers:6Issues:1Issues:0

0toasic

Stuff I did for Matt Venn's Zero-to-ASIC course

Language:VerilogStargazers:1Issues:1Issues:0

compiler

The adventures of a Haskell compiler

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:1Issues:0
Language:VerilogLicense:Apache-2.0Stargazers:1Issues:1Issues:0
Language:VerilogLicense:Apache-2.0Stargazers:1Issues:1Issues:0

gdb-duel

DUEL - A high level language for debugging C programs (by Michael Golan)

jsnascom

Nascom 2 emulator in the browser

Language:JavaScriptLicense:GPL-3.0Stargazers:1Issues:2Issues:2

kinesis-firmware

humble hacker firmware

Language:CStargazers:1Issues:1Issues:0

lisp

A version of John McCarthy's tiny Lisp (in C) with added CDR-coding

Language:CLicense:MITStargazers:1Issues:1Issues:0

OrangeCrab_Hello

Simple OrangeCrab Verilog design using LED and serial IO

Language:VerilogLicense:UnlicenseStargazers:1Issues:1Issues:0
Language:PythonLicense:Apache-2.0Stargazers:1Issues:1Issues:0

riscv-opcodes

RISC-V Opcodes

Language:PythonLicense:NOASSERTIONStargazers:1Issues:1Issues:0

riscv-plic-spec

PLIC Specification

License:CC-BY-4.0Stargazers:1Issues:1Issues:0

rust-verilog-cosim

Small example of how to co-simulate a Rust model against a Verilog implementation, using Verilator

License:MITStargazers:1Issues:1Issues:0

verilog-sim-bench

Verilog simulation workload extracted from Reduceron

Language:VerilogStargazers:1Issues:1Issues:0
Language:VerilogLicense:Apache-2.0Stargazers:1Issues:1Issues:0

anti80

Anti80 is design exercise in a more compiler friendly architecture in roughly the same implementation budget as the Z80

Language:RustStargazers:0Issues:0Issues:0
Language:RustLicense:MITStargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:1Issues:0
Language:CStargazers:0Issues:1Issues:0

ecp5-inferred-memory

A quick little design to experiment with memory inference and timing impact

Language:CoqStargazers:0Issues:0Issues:0

kinto

A better Linux & Windows keyboard layout for professional mac users

Language:PythonLicense:GPL-2.0Stargazers:0Issues:1Issues:0

OrangeCrab

ECP5 breakout board in a feather physical format

Language:HTMLStargazers:0Issues:0Issues:0

previous-code

Full mirror of the Previous NeXT computer emulator's SVN repository http://previous.alternative-system.com (including SVN's awkward branches)

Language:CStargazers:0Issues:1Issues:0
Language:AssemblyLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

sesc-mirror

Unadulted git mirror of the SESC CVS repo on https://sourceforge.net/p/sesc/code/sesc

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

waves

Sandbox for ways to visualize waves in the terminal

Language:RustStargazers:0Issues:1Issues:0