nana1904/Z3
My fork of Microsoft's Z3 theorem prover
Developer Profile
nana1904
Discovered public repositories for nana1904 in the GitHub catalog.
nana1904/rinspect
Tools for dynamically verifying programs under TSO/PSO memory model
nana1904/robovm
Java bytecode ahead-of-time compiler and runtime library based on Android targeting iOS, Mac OS X and Linux
nana1904/game-of-life
pthreads c
nana1904/Random-Writing
C++, CS106B