There are no reviews yet. Be the first to send feedback to the community and the maintainers!
LearnSAT
SAT solver for educationjspin
GUI for running the SPIN model checkerjbaci
Automatically exported from code.google.com/p/jbacierigone
Erigone Model Checkermathematical-logic
Prolog programs for Mathematical Logic for Computer Science (3rd Edition)gentle-lean
A gentle tutorial on Leansurprises
Source code of Mathematical Surprises (open access)daj
Distributed Algorithms in Javamathematics
Learning materials for secondary school mathematicsconcurrent-distributed
Principle of Concurrent and Distributed Programming (Second Edition)constructions
LaTeX source for "Surprising Geometric Constructions"elements-of-robotics
LaTeX source of open access book Elements of Roboticsprobability-mosteller
Reworking of Mosteller's Challenging Problems in Probabilitythymio
Documents and programs for the Thymio robotLove Open Source and this site? Check out how you can help us