jix

axi_appnote

irixunpack

cnfpack

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

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”.

lifetime_abstractions

rust-actions

sccache

sccache is ccache with cloud storage

actions

satbench

WIP SAT benchmarking tooling, written with only my personal use in mind.

benchrunner

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

rattle

Abandoned python HDL prototype I started because I was unhappy with migen. You probably want to use amaranth (previously known as nmigen) instead, it also takes care of the things that prompted me to start this, but is actively used and maintained.

linux

random kernel trees for testing asahi linux stuff on my macbook air

streampush

Tunnel TCP connections over QUIC with an optional fixed rate congestion controller

partial_ref

Type checked partial references for rust

continue-comments

rust-pandoc

corefish

rust

a safe, concurrent, practical language

cbindgen

A project for generating C bindings from Rust code

zwohash

A fast, deterministic, non-cryptographic hash for use in hash tables for Rust

pandoc-ast

minimal_models_example

pac_brute

sortnetopt

Lower Size Bounds for Sorting Networks

pydical

Python wrapper for the CaDiCaL SAT solver

silly-example-project

A silly example project I need to demonstrate stuff

sortnetopt-gnp

Lower Size Bounds for Sorting Networks using Generate and Prune

neca

NECA - Not Even Coppersmith's Attack: A ROCA weak RSA key attack

permutation_group_experiments

boolector

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