senevoldsen

Pinned Repositories

CAAL
CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes expressed in the well-known CCS language (Calculus of Communicating Systems).
Language:TypeScript41 9 1468
stdarch
Rust's standard library vendor-specific APIs and run-time feature detection
Language:Rust622 47 392276
show-desktop
Show desktop functionality for active monitor only.
Language:Rust0 1 00
sudoku-rust
Learning Rust with Sudoku solving.
Language:Rust00
windows-session-volume
This enables to set the volume for a particular windows audio session.
Language:Rust0 2 00

senevoldsen's Repositories

senevoldsen/hanoi-moves
Hanoi Moves Facebook Sample Interview Question
Language:Python0 2 00
senevoldsen/highlight.js
Javascript syntax highlighter
Language:JavaScript0 2 00
senevoldsen/show-desktop
Show desktop functionality for active monitor only.
Language:Rust0 1 00
senevoldsen/sudoku-rust
Learning Rust with Sudoku solving.
Language:Rust00
senevoldsen/TiddlyWiki5
A reboot of TiddlyWiki for the next 25 years
Language:JavaScript0 2 00
senevoldsen/windows-session-volume
This enables to set the volume for a particular windows audio session.
Language:Rust0 2 00
senevoldsen/reversi-js
Reversi Game in Javascript using Canvas
Language:JavaScript2 0
senevoldsen/spirit
Boost.org spirit module
Language:C++2 0
senevoldsen/stdarch
Rust's standard library vendor-specific APIs and run-time feature detection
Language:HTML1 0
senevoldsen/sublime-js-snippets
Snippets for JavaScript / JS Programming in Sublime Text 2
Language:Shell2 0
senevoldsen/values
Nim library for working with arbitrary vars/values + a map data structure.
Language:Nimrod2 0