Whisk: 16-bit serial processor for TT02
☆13Sep 30, 2024Updated last year
Alternatives and similar repositories for tt02-whisk-serial-processor
Users that are interested in tt02-whisk-serial-processor are comparing it to the libraries listed below
Sorting:
- Snapshot of the April 2000 XSOC/xr16 Project Beta 0.93, collateral for Jan Gray's series "Building a RISC System in an FPGA" published in…☆13Jan 7, 2023Updated 3 years ago
- ☆16Jan 25, 2026Updated last month
- ☆15Oct 21, 2020Updated 5 years ago
- Small 32-bit RISC-V CPU with a half-width datapath inspired by the 68000☆16Dec 21, 2023Updated 2 years ago
- Example programs written for SectorLISP☆23Aug 3, 2022Updated 3 years ago
- ☆20Jul 7, 2016Updated 9 years ago
- ☆28Feb 1, 2023Updated 3 years ago
- VS Code based debugger for hardware designs in Amaranth or Verilog☆39Dec 3, 2024Updated last year
- Easy SMT solver interaction☆34Feb 3, 2026Updated last month
- Documentation on the Fantom Lachesis Consensus Algorithm☆10Oct 25, 2018Updated 7 years ago
- an ersatz lisp for tiny birds. a code riff.☆43Sep 25, 2025Updated 5 months ago
- ECE 4760 course website☆12Jan 11, 2026Updated last month
- KiwiSDR: BeagleBone web-accessible shortwave receiver and software-defined GPS☆10Mar 6, 2023Updated 3 years ago
- A neural network written in pure Lisp without built-in numbers☆42Jan 21, 2022Updated 4 years ago
- Analyze experimental data with Programming by Navigation☆17Feb 24, 2026Updated last week
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Project template for wafer.space MPW runs using the gf180mcu PDK☆22Jan 23, 2026Updated last month
- WSPR-zero turns a Raspberry Pi Zero into a WSPR transmitter and receiver perfect for traveling.☆12Nov 7, 2025Updated 3 months ago
- Rust library to compute the main four discrete cosine transforms☆42Nov 8, 2022Updated 3 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- A Z80 CPU implemented in Chisel.☆11Sep 20, 2020Updated 5 years ago
- WIP open source tooling for the XC9500 / XC9500XL series of CPLDs from Xilinx.☆11Nov 5, 2021Updated 4 years ago
- Experimental applications using the Fuse cross-platform tool☆11Oct 29, 2015Updated 10 years ago
- A simple optics library based on existential encoding☆14Apr 28, 2022Updated 3 years ago
- Common Lisp Package for Parallel Corpus Processing☆13Feb 17, 2024Updated 2 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- "Talking PD" article code repository☆14Jun 23, 2023Updated 2 years ago
- cdos-68k: Concurrent DOS 68K Developer Kit☆16Dec 3, 2023Updated 2 years ago
- DA14580/murata module PCBs☆10Jul 30, 2017Updated 8 years ago
- ☆20Feb 25, 2026Updated last week
- SCSI interface by Dove Computer Corporation for Macintosh 512Ke☆16Jul 22, 2025Updated 7 months ago
- Apple IIe FPGA core for the Tang Nano 20K, Primer 25k, Mega 60k, Mega 138k Pro, Console 60k / 138k☆16Feb 19, 2026Updated 2 weeks ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 3 years ago
- LEC - Logic Equivalence Checking - Formal Verification☆33Updated this week
- A compiler for a Standard-ML like language that generates code suitable for embedded computers.☆11Jul 10, 2023Updated 2 years ago
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- This is a Keyberon based firmware for the Nibble keyboard paired with different RP2040 boards.☆11Jan 12, 2024Updated 2 years ago
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆12May 24, 2019Updated 6 years ago
- A homebrew logic puzzle game for Nintendo Switch☆10Oct 13, 2019Updated 6 years ago