Skip to content
View ssoelvsten's full-sized avatar
🎓
Celebrating being a PhD graduate!
🎓
Celebrating being a PhD graduate!
50 followers · 42 following

Organizations

@logsem

Block or report ssoelvsten

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ssoelvsten/README.md

Pinned Loading

  1. adiar adiar Public

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

    C++ 31 15

  2. bdd-benchmark bdd-benchmark Public

    Benchmarking Suite for BDD packages

    C++ 19 4

  3. wordrow wordrow Public

    A modern version of Text Twist

    TypeScript 9 2

  4. TroupeLang/Troupe TroupeLang/Troupe Public

    Troupe programming language

    TypeScript 21 16