jparsert

Pinned Repositories

cbmc
C Bounded Model Checker
Language:C++00
FunWithComputerVision
Playing around with different algorithms/libraries in Computer Vision
Language:C++0 0 00
FunWithRewriting
Term Rewriting stuff
Language:OCaml4 1 00
LoAT
Loop Acceleration Tool for Integer Programs
Language:C++0 0 00
MLExperimentation
Playing areound with some ml/rl setups etc.
Language:Python00
parsy
Language:Python0 0 00
PropositionalLogic
Language:OCaml0 0 00
Sy2CPP
Language:Slash0 2 00
Thmper
An "interactive" Theorem Prover for First-order Logic
Language:OCaml0 0 00
TwitchLive
Testing some JSON data retrieval with pythons Async/Await.
Language:Python0 0 00

jparsert's Repositories

jparsert/FunWithRewriting
Term Rewriting stuff
Language:OCaml4 1 00
jparsert/cbmc
C Bounded Model Checker
Language:C++00
jparsert/FunWithComputerVision
Playing around with different algorithms/libraries in Computer Vision
Language:C++0 0 00
jparsert/LoAT
Loop Acceleration Tool for Integer Programs
Language:C++0 0 00
jparsert/MLExperimentation
Playing areound with some ml/rl setups etc.
Language:Python00
jparsert/parsy
Language:Python0 0 00
jparsert/PropositionalLogic
Language:OCaml0 0 00
jparsert/Sy2CPP
Language:Slash0 2 00
jparsert/Thmper
An "interactive" Theorem Prover for First-order Logic
Language:OCaml0 0 00
jparsert/TwitchLive
Testing some JSON data retrieval with pythons Async/Await.
Language:Python0 0 00
jparsert/z3
The Z3 Theorem Prover
Language:C++