Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
A gently curated list of companies using verification formal methods in industry
-
Master programming by recreating your favorite technologies from scratch.
-
The missing bridge between Java and native C++
-
Example of using C++ classes from Java. Showcases SWIG, JNA and JNI
-
A textbook on informal homotopy type theory
-
Quantomatic is a tool for doing automated graph rewriting.
-
Logical manifestations of topological concepts, and other things, via the univalent point of view.
-
Selected Papers of Dana S. Scott
-
A demo implementation of a simple dependently-typed language
-
A modern LaTeX Beamer theme