Steffan Sølvsten's repositories
latex-preamble-and-examples
A LaTeX preample for Computer Science handins and presentations (Danish and English) with reverse-engineerable examples
interaction-design-in-a-nutshell
A dense, clearly defined, and small guide to interaction design
bdd-benchmark
Benchmarking Suite for BDD packages
overkill-cv
An absurdly over-engineered academic CV website.
turings_venner
Webpage and Additional Material for the Student Organisation 'Turings Venner'
quicksort-test
Programming test for a student programmer job interview.
biodivine-lib-bdd
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
c_test_bed
A CI-based Test Bed for C and C++
curriculum-vitae
A LaTeX Curriculum Vitae
lib-bdd-ffi
C FFI for Biodivine/LibBDD
libblifparse
Parsing library for BLIF netlists
oxidd
Concurrent decision diagram framework written in Rust
tool_lists
Links to tools by subject