SSoelvsten/bdd-benchmark

Benchmarking Suite for BDD packages

Language: C++ - Size: 1.06 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 16 - Forks: 2

SSoelvsten/slides

Language: TeX - Size: 34.8 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

SSoelvsten/kattis

Language: Haskell - Size: 14.6 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

SSoelvsten/turings_venner

Webpage and Additional Material for the Student Organisation 'Turings Venner'

Language: HTML - Size: 13.9 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

SSoelvsten/cal

University of California BDD Package

Language: C - Size: 1.64 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 2

SSoelvsten/curriculum-vitae

A LaTeX Curriculum Vitae

Language: TeX - Size: 4.98 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

SSoelvsten/sylvan Fork of trolando/sylvan

Implementation of multi-core (binary) decision diagrams

Language: C - Size: 2.76 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

SSoelvsten/oxidd Fork of OxiDD/oxidd

Concurrent decision diagram framework written in Rust

Language: Rust - Size: 2.66 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

SSoelvsten/latex-preamble-and-examples

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

Language: TeX - Size: 19.3 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 22 - Forks: 7

SSoelvsten/cudd

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

Language: C - Size: 2.37 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 1

SSoelvsten/overkill-cv 📦

An absurdly over-engineered academic CV website.

Language: Reason - Size: 6.97 MB - Last synced at: 12 months ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 0

SSoelvsten/buddy

BuDDy BDD package (with CMake support)

Language: C - Size: 804 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 1

SSoelvsten/libblifparse Fork of verilog-to-routing/libblifparse

Parsing library for BLIF netlists

Language: C++ - Size: 363 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

SSoelvsten/tool_lists Fork of johnyf/tool_lists

Links to tools by subject

Size: 91.8 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

SSoelvsten/cadiar 📦

Formal verification of the Adiar BDD package

Language: Isabelle - Size: 53.7 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

SSoelvsten/biodivine-lib-bdd Fork of sybila/biodivine-lib-bdd

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

Size: 2.21 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

SSoelvsten/SSoelvsten

Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

SSoelvsten/mlightdp

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

Language: OCaml - Size: 3.54 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

SSoelvsten/tpie Fork of thomasmoelhave/tpie

Templated Portable I/O Environment

Language: C++ - Size: 21.4 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

SSoelvsten/c_test_bed

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

Language: CMake - Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

SSoelvsten/shoutcast-utilities 📦

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

Language: Java - Size: 26.2 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

SSoelvsten/apa-latex

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

Language: TeX - Size: 11.7 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

SSoelvsten/BuDDy-tex

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

Language: TeX - Size: 364 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

SSoelvsten/flix Fork of flix/flix

The Flix Programming Language

Size: 88.1 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

SSoelvsten/interaction-design-in-a-nutshell

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

Language: TeX - Size: 6.96 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 13 - Forks: 1

SSoelvsten/buddy-twente Fork of utwente-fmt/buddy

Language: C - Size: 567 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

SSoelvsten/quicksort-test

Programming test for a student programmer job interview.

Language: C++ - Size: 18.6 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0