Pinned Repositories
anlogic_yosys
Anlogic examples with Yosys
cross-fpga
Cross compile FPGA tools
enigmaFPGA
Enigma in FPGA
fpga101-workshop
FPGA 101 - Workshop materials
grom8
GROM-8 CPU
micropython
MicroPython - legacy branch contain old experiments, and experimental for new work
mikrobus-upduino
Dual MikroBUS board for Upduino 2 FPGA
prjtang
Documenting the Anlogic FPGA bit-stream format.
s100fpga
Altair and other S-100 bus machines on FPGA
fpga-odysseus
FPGA Odysseus with ULX3S
mmicko's Repositories
mmicko/prjtang
Documenting the Anlogic FPGA bit-stream format.
mmicko/galtape
Galaksija tape tool
mmicko/macos-resources
MacOS resources needed for cross compile
mmicko/cli
FPGA Command Line Interface
mmicko/libwave
mmicko/mame
MAME
mmicko/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
mmicko/iverilog
Icarus Verilog
mmicko/litex-boards
LiteX boards files
mmicko/mistral
Cyclone V bitstream reverse-engineering project
mmicko/mojmikroslovenija
mmicko/verilator
Verilator open-source SystemVerilog simulator and lint system
mmicko/apicula
Project Apicula 🐝: bitstream documentation for Gowin FPGAs
mmicko/eqy
Equivalence checking with Yosys
mmicko/litex
Build your hardware, easily!
mmicko/macdylibbundler
Utility to ease bundling libraries into executables for OSX
mmicko/mau
Modular Application Utilities
mmicko/nextpnr
nextpnr portable FPGA place and route tool
mmicko/nextpnr-xilinx
Experimental flows using nextpnr for Xilinx devices
mmicko/picosat
Unofficial picosat github mirror
mmicko/prjoxide
Documenting Lattice's 28nm FPGA parts
mmicko/prjoxide-db
prjoxide database
mmicko/rodinia
AGM bitstream utilities and decoded files from Supra
mmicko/sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
mmicko/scy
Sequence of Covers with Yosys
mmicko/test-ci
mmicko/VexRiscv
A FPGA friendly 32 bit RISC-V CPU implementation
mmicko/yosys
Yosys Open SYnthesis Suite
mmicko/yosys-cmd-ref
Staging repo for Yosys command reference build. The contents of this repository are autogenerated from Yosys source.
mmicko/yosys-f4pga-plugins
Plugins for Yosys developed as part of the F4PGA project.