CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/20150215010018/http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html)
A plugin for Vite and Rollup that highlights code using Shiki
obs-studio plugin to simulate a directshow webcam
A fast and certifying solver for quantified Boolean formulas.
JUnit compatible XML reports in Rust
Rust language pcap library
ABC: System for Sequential Logic Synthesis and Formal Verification
Graphical user interface for database and experiment administration
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
A talk about "Fast Convergence of Regularized Learning in Games" ( http://arxiv.org/abs/1507.00407 )
Paper about Sikuliator
Sikuliator Client which executes tests
Description of Sikuliator's test specification format