jix Goto Github PK

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

actions

appnote-400

Intro to Mutation Coverage with Yosys (MCY)

aucavo

axi_appnote

benchrunner

A small daemon for running benchmarks on my home workstation. Requires systemd.

bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

bracket-matcher

Jump to brackets

brandy

bunt

cadical

CaDiCaL SAT Solver

cbindgen

A project for generating C bindings from Rust code

cnfpack

Converts between the text based DIMACS CNF file format and the compressed binary Cnfpack format

continue-comments

corefish

cryptominisat

An advanced SAT Solver

dolphin

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

ezusbfifo

fast_fwd_crc

flint2

FLINT (Fast Library for Number Theory)

flussab

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

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.

hydrogen

:eight_spoked_asterisk: Run code inline in Atom using Jupyter kernels

instrumented_adder

Instrumenting adders to measure speed

irixunpack

kcov

Code coverage tool for compiled programs, Python and Bash which uses debugging information to collect and report data without special compilation options

kissat_extras

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