SSoelvsten

latex-preamble-and-examples

A LaTeX preample for Computer Science handins and presentations (Danish and English) with reverse-engineerable examples

adiar

An I/O-efficient implementation of (Binary) Decision Diagrams

interaction-design-in-a-nutshell

A dense, clearly defined, and small guide to interaction design

bdd-benchmark

Benchmarking Suite for BDD packages

wordrow

A modern version of Text Twist

buddy

BuDDy BDD package (with CMake support)

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.

cal

University of California BDD Package

cs-dict

Technical Dictionary for Computer Science

anatree

Anatree: A Fast Data Structure for Anagrams

cudd

CUDD: CU Decision Diagram package - with CMake and extended C++

quicksort-test

Programming test for a student programmer job interview.

apa-latex

A LaTeX template (with examples) for APA-style student papers

biodivine-lib-bdd

A small library for BDD manipulation in Rust. Part of the BioDivine toolset.

BuDDy-tex

Jørn Nielsen's Tech Report: "BuDDy: A Binary Decision Diagram package"

c_test_bed

A CI-based Test Bed for C and C++

cadiar

Formal verification of the Adiar BDD package

curriculum-vitae

A LaTeX Curriculum Vitae

flix

The Flix Programming Language

lib-bdd-ffi

C FFI for Biodivine/LibBDD

libblifparse

Parsing library for BLIF netlists

oxidd

Concurrent decision diagram framework written in Rust

shoutcast-utilities

A piece of software used to manage the many .txt files used in the production of livestreamed eSports commentary,

slides

SSoelvsten

SSoelvsten.github.io

sylvan

Implementation of multi-core (binary) decision diagrams

tool_lists

Links to tools by subject

tpie

Templated Portable I/O Environment