Steffan Sølvsten (@SSoelvsten)
github

SSoelvsten

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    87
  • Global Rank 223,743 (Top 8 %)
  • Followers 43
  • Following 27
  • Registered over 8 years ago
  • Most used languages
    C++
         30.8 %
    C
         23.1 %
    TeX
         15.4 %
    TypeScript
         15.4 %
    OCaml
         7.7 %
    Reason     7.7 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 993
  • Country Ranking
    Reason     2
    TeX
         13
    OCaml
         28
    C++
         104
    C
         183
    TypeScript
         253

Top repositories

1

latex-preamble-and-examples

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

adiar

An I/O-efficient implementation of (Binary) Decision Diagrams
C++
20
star
3

interaction-design-in-a-nutshell

A dense, clearly defined, and small guide to interaction design
TeX
13
star
4

bdd-benchmark

Benchmarking Suite for BDD packages
C++
10
star
5

wordrow

A modern version of Text Twist
TypeScript
6
star
6

buddy

BuDDy BDD package (with CMake support)
C
5
star
7

mlightdp

An extensive implementation of the LightDP language of Zhang and Kifer used to prove algorithms to be privacy-preserving
OCaml
3
star
8

overkill-cv

An absurdly over-engineered academic CV website.
Reason
2
star
9

cal

University of California BDD Package
C
2
star
10

cs-dict

Technical Dictionary for Computer Science
TypeScript
2
star
11

quicksort-test

Programming test for a student programmer job interview.
C++
1
star
12

anatree

Anatree: A Fast Data Structure for Anagrams
C++
1
star
13

cudd

CUDD: CU Decision Diagram package - unofficial (and slightly modified) git mirror
C
1
star