Home Original page

ssoelvsten - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

View ssoelvsten's full-sized avatar

Steffan Sølvsten ssoelvsten

Organizations

@logsem

Block or report ssoelvsten

Pinned Loading

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

    C++ 33 16

  2. Benchmarking Suite for BDD packages

    C++ 22 4

  3. A modern version of Text Twist

    TypeScript 9 4

  4. Troupe programming language

    TypeScript 21 16