Pinned Repositories
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
homebrew-cvc5
libpoly
LibPoly is a C library for manipulating polynomials
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Sparkles
A particle system library written in C++ and OpenGL.
Web-Physics-Simulations
Simple web physics simulations made using HTML5 and Javascript, for educational purposes.
vrcamillo's Repositories
vrcamillo/Sparkles
A particle system library written in C++ and OpenGL.
vrcamillo/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
vrcamillo/Web-Physics-Simulations
Simple web physics simulations made using HTML5 and Javascript, for educational purposes.