Discover @jix Open Source projects

Jannis Harder (@jix)

jix

Stars
383
Global Rank 72,856 (Top 3 %)
Followers 82
Following 6
Registered about 15 years ago
Most used languages

Rust
55.0 %

Python
20.0 %

C++
10.0 %

Verilog 5.0 %

Isabelle 5.0 %

C
5.0 %
Location 🇩🇪 Germany
Country Total Rank 4,163
Country Ranking

Isabelle 2

Verilog 126

Rust
141

C
2,259

C++
3,873

Python
6,384

varisat

SAT solver written in Rust

sortnetopt

Lower Size Bounds for Sorting Networks

partial_ref

Type checked partial references for 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.

permutation_group_experiments

zwohash

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

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

streampush

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

vec_mut_scan

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

rust-actions

pac_brute

ezusbfifo

satbench

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

cnfpack

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

tinytapeout_scan

sat-intro-2019-06-20

Demo application presented during my "Introduction to SAT Solving" talk at the OR Meetup Leipzig in June 2019.

pydical

Python wrapper for the CaDiCaL SAT solver