Pinned Repositories
app
Human-centered DAO infrastructure
advent_of_code_20
advent_of_code_21
animation_loop
chaos-game
json-sort
Simple command-line tool that allows to sort JSON files w.r.t keys.
linkedList
Implementation of datastructure linked list in C
sorting-visualization-dart
A single page application visualizing various sorting algorithms.
viper-ide
This is the main repository for the new Viper IDE solution, based on VS Code, which will replace Viper-Sublime-IDE. The Sublime Text 3 package for Viper project will remain in https://github.com/viperproject/viper-sublime-ide.
vsc-degit
VS Code extension that integrates Degit.
WissenIstNacht's Repositories
WissenIstNacht/advent_of_code_20
WissenIstNacht/advent_of_code_21
WissenIstNacht/animation_loop
WissenIstNacht/chaos-game
WissenIstNacht/sorting-visualization-dart
A single page application visualizing various sorting algorithms.
WissenIstNacht/json-sort
Simple command-line tool that allows to sort JSON files w.r.t keys.
WissenIstNacht/linkedList
Implementation of datastructure linked list in C
WissenIstNacht/viper-ide
This is the main repository for the new Viper IDE solution, based on VS Code, which will replace Viper-Sublime-IDE. The Sublime Text 3 package for Viper project will remain in https://github.com/viperproject/viper-sublime-ide.
WissenIstNacht/vsc-degit
VS Code extension that integrates Degit.
WissenIstNacht/app-template
WissenIstNacht/aragon-factory
WissenIstNacht/Bounce
WissenIstNacht/BST
Implementation of Binary Search Tree
WissenIstNacht/carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
WissenIstNacht/client
(Aragon 1) Create and manage decentralized organizations on Ethereum.
WissenIstNacht/ghpagestest
Testing GitHub pages
WissenIstNacht/Pong
Classic Pong game for one or two player in Java
WissenIstNacht/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
WissenIstNacht/silver
Definition of the Viper intermediate verification language.
WissenIstNacht/sorting-visualization
Visualization of sorting algorithms
WissenIstNacht/Spoon-Knife
This repo is for demonstration purposes only.
WissenIstNacht/Stack
Implementation of stack data structure in C
WissenIstNacht/use-react-router-breadcrumbs
tiny, flexible, hook for rendering route breadcrumbs with react-router v6
WissenIstNacht/viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.
WissenIstNacht/vite
Next generation frontend tooling. It's fast!
WissenIstNacht/vsc-recently-opened-cleaner
Simple VS Code extension that allows to clean the list of recently opened workspaces.
WissenIstNacht/widget-caller
WissenIstNacht/zaragoza_Test
Human-centered DAO infrastructure