Pinned Repositories
lichobile
lichess.org mobile application
mathquill
Easily type math in your webapp
amperspiegel
calculator
cs30
Drills for Discrete Mathematics with Canvas Integration
ElectroCRUD
Database CRUD Application Built on Electron | MySQL, Postgres
infer
A static analyzer for Java, C, C++, and Objective-C
Tyronezzz-calculus-solver
This is a Haskell project for calculus solver
vercors
The VerCors verification toolset for verifying parallel and concurrent software
sjcjoosten's Repositories
sjcjoosten/amperspiegel
sjcjoosten/calculator
sjcjoosten/cs30
Drills for Discrete Mathematics with Canvas Integration
sjcjoosten/ElectroCRUD
Database CRUD Application Built on Electron | MySQL, Postgres
sjcjoosten/infer
A static analyzer for Java, C, C++, and Objective-C
sjcjoosten/Tyronezzz-calculus-solver
This is a Haskell project for calculus solver