-
FemtoGPT Public
A very simplified transformer language model in C++
-
-
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedJan 5, 2022 -
HilbertProofs Public
Hilbert-style formal proofs for mathematics
-
WatchTrees Public
Debugger extension for the Windows Debugging Tools (WinDBG, KD, CDB, NTSD). It add commands to manage watches.