Projects
Some of my open-source projects are listed on this page. Every project has a link to a GitHub repository with all the details and the source code.
Cover
Implementation of the covering algorithm for solving the variable decomposition problem in linear real arithmetic Continue reading Cover
TonelliShanks
Implementation of the Tonelli-Shanks algorithm for computing square roots modulo a prime number Continue reading TonelliShanks
TQBFIP
Implementation and visualization of the private-coin interactive protocol for TQBF yielding IP = PSPACE Continue reading TQBFIP
PresMonDec
Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences Continue reading PresMonDec
useless_productions
Efficient algorithm that finds non-productive rules in context-free grammars Continue reading useless_productions
charwise
Library that provides a buffered, peekable character stream Continue reading charwise
FLAI
Neural network that predicts apartment prices Continue reading FLAI
F0Verifier
Verifier for F0 proofs Continue reading F0Verifier
NumPat
Number pattern research tool Continue reading NumPat
GarbageSet
Set data structure that can be initialized in O(1) Continue reading GarbageSet
Grammax
Bottom-up parser generator for Java Continue reading Grammax
Knife
Top-down parser generator for Java Continue reading Knife
PollardRsaCracker
RSA cracking algorithm based on Pollard factorization Continue reading PollardRsaCracker
chrem
Algorithm to solve a linear system of congruences Continue reading chrem
VkAntiSpam
Spam filtering system for VK Continue reading VkAntiSpam
ZeroRobo
Java RoboCode Robot Continue reading ZeroRobo
CString
Lightweight string implementation for c Continue reading CString
LZZ
URL shortener Continue reading LZZ
ChainHashMap
Closed hash-table implementation. Continue reading ChainHashMap
BST
Optimized binary search tree implementation. Continue reading BST
SDL Grapher
Plotting with SDL 2.0 Continue reading SDL Grapher
ZeroPackerJs
Binary information interchange protocol implementation in JavaScript Continue reading ZeroPackerJs
Clash Royale Proxy
Clash Royale proxy server Continue reading Clash Royale Proxy
