Steffan Sølvsten
ssoelvsten
Algorithm engineer working on systems for program correctness and security.
Languages
Repos
38
Stars
141
Forks
48
Top Language
TeX
Loading contributions...
Top Repositories
An I/O-efficient implementation of (Binary) Decision Diagrams
Benchmarking Suite for BDD packages
A LaTeX preample for Computer Science handins and presentations (Danish and English) with reverse-engineerable examples
BuDDy BDD package (with CMake support)
A dense, clearly defined, and small guide to interaction design
A modern version of Text Twist
Repositories
38Benchmarking Suite for BDD packages
A LaTeX preample for Computer Science handins and presentations (Danish and English) with reverse-engineerable examples
Webpage and Additional Material for the Student Organisation 'Turings Venner'
An I/O-efficient implementation of (Binary) Decision Diagrams
CUDD: CU Decision Diagram package - with CMake and extended C++
English-Danish Technical Dictionary of Computer Science
No description provided.
A modern version of Text Twist
No description provided.
Anatree: A Fast Data Structure for Anagrams
Examples of insecurities when multiplexing sockets.
BuDDy BDD package (with CMake support)
Allows you to setup Aarhus University's printers on their prt11.uni.au.dk server
A LaTeX Curriculum Vitae
CUDD Decision Diagram Package
No description provided.
Troupe programming language
No description provided.
No description provided.
Troupe user guide
University of California BDD Package
Implementation of multi-core (binary) decision diagrams
Concurrent decision diagram framework written in Rust
C FFI for Biodivine/LibBDD
An absurdly over-engineered academic CV website.
Parsing library for BLIF netlists
A dense, clearly defined, and small guide to interaction design
Links to tools by subject
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
An extensive implementation of the LightDP language of Zhang and Kifer used to prove algorithms to be privacy-preserving