ssoelvsten Goto Github PK

adiar

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

anatree

Anatree: A Fast Data Structure for Anagrams

apa-latex

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

bdd-benchmark

Benchmarking Suite for BDD packages

biodivine-lib-bdd

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

buddy

BuDDy BDD package (with CMake support)

buddy-tex

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

buddy-twente

c_test_bed

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

cadiar

Formal verification of the Adiar BDD package

cal

University of California BDD Package

cs-dict

Technical Dictionary for Computer Science

cudd

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

curriculum-vitae

A LaTeX Curriculum Vitae

flix

The Flix Programming Language

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

libblifparse

Parsing library for BLIF netlists

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.

quicksort-test

Programming test for a student programmer job interview.

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

wordrow

A modern version of Text Twist