jix

varisat

SAT solver written in Rust

starlit

CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI breakage.

flussab

Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.

kissat_extras

A fork of the Kissat SAT solver with additional features. Supports incremental solving.

vec_mut_scan

Rust library for a forward scan over a vector with mutation and item removal

sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

tinytapeout_scan

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

AppNote-400

Intro to Mutation Coverage with Yosys (MCY)

aucavo

brandy

cadical

CaDiCaL SAT Solver

dolphin

Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.

fast_fwd_crc

gh-create-test

Ghidra-GameCube-Loader

A Nintendo GameCube binary loader for Ghidra

gtkwave

GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard Verilog VCD/EVCD files and allows their viewing.

instrumented_adder

Instrumenting adders to measure speed

Natron

Open-source video compositing software. Node-graph based. Similar in functionalities to Adobe After Effects and Nuke by The Foundry.

nerv

Naive Educational RISC V processor

riscv-formal

RISC-V Formal Verification Framework

sby-bigexample

sphinx-argparse

Sphinx extension that automatically document argparse commands and options

SVA-AXI4-FVIP

YosysHQ SVA AXI Properties

time-travel

tinytapeout-broken

tinytapeout-from-template

tinytapeout_spin0

Basic spin animation on LED 7 segment

wrapped_instrumented_adder

yosys

Yosys Open SYnthesis Suite