SSoelvsten
PhD student in the Logic and Semantics group at Aarhus University.
Aarhus UniversityAarhus, Denmark
Pinned Repositories
adiar
An I/O-efficient implementation of (Binary) Decision Diagrams
bdd-benchmark
Benchmarking Suite for BDD packages
buddy
BuDDy BDD package (with CMake support)
cal
University of California BDD Package
en-dk
Technical Dictionary for Computer Science
interaction-design-in-a-nutshell
A dense, clearly defined, and small guide to interaction design
latex-preamble-and-examples
A LaTeX preample for Computer Science handins and presentations (Danish and English) with reverse-engineerable examples
mlightdp
An extensive implementation of the LightDP language of Zhang and Kifer used to prove algorithms to be privacy-preserving
overkill-cv
An absurdly over-engineered academic CV website.
wordrow
A modern version of Text Twist
SSoelvsten's Repositories
SSoelvsten/latex-preamble-and-examples
A LaTeX preample for Computer Science handins and presentations (Danish and English) with reverse-engineerable examples
SSoelvsten/adiar
An I/O-efficient implementation of (Binary) Decision Diagrams
SSoelvsten/interaction-design-in-a-nutshell
A dense, clearly defined, and small guide to interaction design
SSoelvsten/bdd-benchmark
Benchmarking Suite for BDD packages
SSoelvsten/wordrow
A modern version of Text Twist
SSoelvsten/buddy
BuDDy BDD package (with CMake support)
SSoelvsten/mlightdp
An extensive implementation of the LightDP language of Zhang and Kifer used to prove algorithms to be privacy-preserving
SSoelvsten/overkill-cv
An absurdly over-engineered academic CV website.
SSoelvsten/cal
University of California BDD Package
SSoelvsten/en-dk
Technical Dictionary for Computer Science
SSoelvsten/anatree
Anatree: A Fast Data Structure for Anagrams
SSoelvsten/cudd
CUDD: CU Decision Diagram package - with CMake and extended C++
SSoelvsten/quicksort-test
Programming test for a student programmer job interview.
SSoelvsten/apa-latex
A LaTeX template (with examples) for APA-style student papers
SSoelvsten/biodivine-lib-bdd
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
SSoelvsten/BuDDy-tex
Jørn Nielsen's Tech Report: "BuDDy: A Binary Decision Diagram package"
SSoelvsten/c_test_bed
A CI-based Test Bed for C and C++
SSoelvsten/cadiar
Formal verification of the Adiar BDD package
SSoelvsten/curriculum-vitae
A LaTeX Curriculum Vitae
SSoelvsten/flix
The Flix Programming Language
SSoelvsten/lib-bdd-ffi
C FFI for Biodivine/LibBDD
SSoelvsten/libblifparse
Parsing library for BLIF netlists
SSoelvsten/oxidd
Concurrent decision diagram framework written in Rust
SSoelvsten/shoutcast-utilities
A piece of software used to manage the many .txt files used in the production of livestreamed eSports commentary,
SSoelvsten/slides
SSoelvsten/SSoelvsten
SSoelvsten/SSoelvsten.github.io
SSoelvsten/sylvan
Implementation of multi-core (binary) decision diagrams
SSoelvsten/tool_lists
Links to tools by subject
SSoelvsten/tpie
Templated Portable I/O Environment