Pinned Repositories
ModLog
A modular logic (Kripke) parser and evaluator.
NumberphileBitmap
In the "The 'Everything' Formula" video there is a mystery. Here's it uncovered
WorkOfArtiz's Repositories
WorkOfArtiz/NumberphileBitmap
In the "The 'Everything' Formula" video there is a mystery. Here's it uncovered
WorkOfArtiz/ModLog
A modular logic (Kripke) parser and evaluator.
WorkOfArtiz/alexr
WorkOfArtiz/AnalyzePDF
Tool to help analyze PDF files
WorkOfArtiz/Bibtex2TimelineHack
All code is written... poorly, the following program contains hacks and due to it's content should not be viewed by anyone. Also it makes a timeline from BibTex using custom attributes.
WorkOfArtiz/boards
List of boards supported by Blynk platform
WorkOfArtiz/CodinGameChallenge
WorkOfArtiz/CTFi
This is the context free language interpreter
WorkOfArtiz/cvec
A generic vector implementation in C
WorkOfArtiz/docker-calibre-web
WorkOfArtiz/gb
A minimal C implementation of Nintendo Gameboy - An fast research environment for Reinforcement Learning
WorkOfArtiz/Hanged
A binary of a hangman game with documentation for software testing
WorkOfArtiz/ij
A full compiler, compiles ij (own language) to X64, JAS and IJVM.
WorkOfArtiz/IJVM_Experiments
IJVM Assembly programs (Extended Tanenbaum IJVM)
WorkOfArtiz/ImageExperiments
Experiments with creating manipulating images
WorkOfArtiz/IRPython
Some notebooks on basic stuff in python
WorkOfArtiz/javalang17
Pure Python Java parser and tools
WorkOfArtiz/ProjectApplicationDevelopment
This is my code for the PAD project
WorkOfArtiz/ProofWebHelper
A helper for Proofweb
WorkOfArtiz/PropLog
A propositional logic parser with some extras
WorkOfArtiz/pyfilestructs
Wrappers for essential datastructures automagically backed up in memory
WorkOfArtiz/series-tracker
A script to print dates of next episodes and other info of TV series you follow, using data from next-episode.net
WorkOfArtiz/serpend
Python module for parsing and (forensic) analysis of systemd logs
WorkOfArtiz/TinyBrain
A tiny brain operating brainfuck, this is essentially a teeny tiny JIT assembler. Still very unoptimized, but fits in <700 bytes
WorkOfArtiz/todo
todo do todo todo todo's
WorkOfArtiz/vaadin-litelement-ckeditor
Vaadin14+LitElement+CKEditor5
WorkOfArtiz/WikiLoopFinder
takes a page name and clicks the first wiki link, to test claim that all wiki pages lead to same loop
WorkOfArtiz/Wilde
Secure the wilde: Oscar extensions in the Unikraft kernel
WorkOfArtiz/WorkOfArtiz.github.io
Pages
WorkOfArtiz/wpa-supplicant-vu
wpa-supplicant config for the Vrije Universiteit Amsterdam (VU-Campusnet)