Ravenslofty

Lofty's repositories

yosys-cookbook

User-friendly explanation of Yosys options

109 100

mistral

Cyclone V bitstream reverse-engineering project

Language:HTMLBSD-3-Clause108 25 13

prussia

Prussia - a Rust PS2 SDK.

Language:RustNOASSERTION105 13 11

74xx-liberty

Language:Verilog63 11 9

blog

The Critical Path - a rambly FPGA blog

46 46 15

biostation

Clean-room PS2 BIOS

Language:AssemblyGPL-3.023 6 3

librecell

Language:Python15 10

sudbury

IA-64 emulator

Language:Rust15 30

corsair-re

Tools I used to reverse engineer the Corsair HID protocol

Language:CMIT13 6 2

ljstation

Experimental PlayStation 1 emulator using LuaJIT

Language:LuaGPL-3.0600

gpawoo2

shader-based gpawoo

Language:Python4 50

intel-yosys-attosoc-demo

synth_intel_alm attosoc demo

Language:Coq4 30

mignite

Majority-inverter graph based logic optimiser (highly experimental)

Language:Rust4 40

chocolate-chip-old

A PS2 emulator

Language:Lua3 20

gpawoo

Language:Python3 20

hobbitdas

the Hobbit disassembler from Plan 9 1st Edition made ~standalone

Language:CMIT300

aoc2021

Advent of Code 2021 in nMigen

Language:Python2 30

fpga-sprt

Sequential Probability Ratio Test for FPGA things.

2 20

chocolate-chip

Language:LuaGPL-3.01 10

glassworks

how the glassworks glass works

Language:Rust1 20

nextpnr

nextpnr portable FPGA place and route tool

Language:C++ISC1 20

nmigen-boards

Board and connector definition files for nMigen

Language:PythonNOASSERTION1 10

prjokami

1 10

tt07-chess

Language:SystemVerilogApache-2.01 10

yosys

Yosys Open SYnthesis Suite

Language:C++ISC1 20

yosys-symbiflow-plugins

Plugins for Yosys developed as part of the SymbiFlow project.

Language:C++ISC100

yosys-testrunner

Program for robustly comparing two Yosys versions

Language:PythonMIT1 20

ATR72

FG Aircraft | ATR72(C) from Omega Hangar [https://bitbucket.org/muraleen/atr72-500-c-project/src]

Language:Nasal000

hobbit

Language:Verilog000

libqalculate

Qalculate! library and CLI

GPL-2.0000