Pinned Repositories
3DConnectFourGameServer
adhoc-chat
Eindproject module 3: Netwerksystemen
advent-of-code
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
anuclearcrossroads
arthur
AI for Minimax Borrel 2018-2019
behavior3editor
An awesome online visual editor for Behavior3 (Behavior Trees Visual Editor)
bobetex
A game engine with javascript scripting and a native back end.
graphsim
A small framework for doing epidemics simulations on graphs.
hywar
bobismijnnaam's Repositories
bobismijnnaam/bobetex
A game engine with javascript scripting and a native back end.
bobismijnnaam/advent-of-code
bobismijnnaam/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
bobismijnnaam/anuclearcrossroads
bobismijnnaam/arthur
AI for Minimax Borrel 2018-2019
bobismijnnaam/bobismijnnaam.github.io
bobismijnnaam/boogie
Boogie
bobismijnnaam/carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
bobismijnnaam/gitui
blazing fast terminal-ui for git written in rust
bobismijnnaam/IsabelleProjects
bobismijnnaam/javabip-core
Coordination of concurrent Java components using a Java flavour of the BIP (Behaviour, Interactions, Priorities) framework.
bobismijnnaam/javabip-engine
bobismijnnaam/kaid
UI Components on KaiOS 2.5 - react
bobismijnnaam/ld41
bobismijnnaam/ld42
bobismijnnaam/ld43
bobismijnnaam/nixpkgs
Nix Packages collection
bobismijnnaam/nutsnbolts
A personal game library built on top of SDL2 and others
bobismijnnaam/pda
bobismijnnaam/roosterscript5
bobismijnnaam/rust-pandoc
bobismijnnaam/shiny-kameleon
Rollit game by Ruben & Bob
bobismijnnaam/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
bobismijnnaam/silver
Definition of the Viper intermediate verification language.
bobismijnnaam/skip-push-on-pr
Skips a push event workflow run if it is predicted that a pull_request workflow run will occur.
bobismijnnaam/smt-multiplex
bobismijnnaam/smtparse
bobismijnnaam/sprockell
Simple processor in Haskell
bobismijnnaam/vercors
The VerCors verification toolset for verifying parallel and concurrent software
bobismijnnaam/writing-javascript-actions