Julian Parsert's repositories
FunWithRewriting
Term Rewriting stuff
cbmc
C Bounded Model Checker
Language:C++NOASSERTION000
FunWithComputerVision
Playing around with different algorithms/libraries in Computer Vision
Language:C++MIT000
LoAT
Loop Acceleration Tool for Integer Programs
Language:C++GPL-3.0000
MLExperimentation
Playing areound with some ml/rl setups etc.
Language:PythonMIT000
myLib
Some c++ template programming fun.
Language:C++MIT000
Language:PythonMIT000
Language:OCamlMIT000
Thmper
An "interactive" Theorem Prover for First-order Logic
Language:OCamlMIT000
TwitchLive
Testing some JSON data retrieval with pythons Async/Await.
Language:PythonMIT000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000