jeremycw / tetris-verilog
Verilog Tetris
☆13Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for tetris-verilog
- Paul Layzell's Evolvable Motherboard☆12Updated 9 years ago
- Bachelor thesis Martijn Bakker -- Numerical mathematics on FPGAs using CλaSH☆28Updated 9 years ago
- Synthesis-Aided Compiler for GreenArrays GA144☆51Updated 7 years ago
- TCP/IPv6-enabled Pine64+ bootloader☆13Updated 7 years ago
- The Antikernel operating system project☆113Updated 4 years ago
- A compiler from Forth to Scratch☆21Updated 8 years ago
- Schrödinger's Tcl☆30Updated 9 years ago
- ☆87Updated 5 years ago
- Locus site for Public Review of Several RISC-V ISA Formal Specs☆73Updated 4 years ago
- An experimental System-on-Chip with a custom compiler toolchain.☆59Updated 4 years ago
- A Qt5 based free VLSI development tool☆30Updated 6 years ago
- An online Verilog IDE based on YosysJS.☆24Updated 8 years ago
- Lucky imaging library☆17Updated 4 years ago
- The 9p protocol as a serde format and message types.☆30Updated 3 years ago
- Label-based networking daemon☆22Updated 5 years ago
- A simple Forth-like language intended for DSL creation, implemented in Lua.☆26Updated 2 years ago
- Oberon RISC-V port, based on Samuel Falvo's RISC-V compiler and Peter de Wachter's Project Norebo. Part of an academic project to evaluat…☆75Updated 3 years ago
- a parallel sorting algorithm implemented in hardware that sorts data in linear time as it arrives serially☆37Updated 8 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 8 years ago
- An exercise in cryptographic minimlism☆24Updated 9 years ago
- The Mickey Mouse of dynamic linkers☆14Updated last week
- The BERI and CHERI processor and hardware platform☆46Updated 7 years ago
- [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml☆119Updated 3 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆47Updated 3 years ago
- 1st Testwafer for LibreSilicon☆28Updated 5 years ago
- The client library for ProteusISC☆26Updated 6 years ago
- Embeddable or standalone robust floating-point polynomial calculator written in Rust.☆13Updated 7 years ago
- A RISC-V simulator implementing RV32G[C].☆34Updated last year
- Stack CPU Work In Progress☆30Updated 10 months ago
- Untethered (stand-alone) FPGA implementation of the lowRISC SoC☆54Updated 5 years ago