Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
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 development of machine-checked proofs.
-
-
A low footprint JavaScript engine for embedded systems
-
A modern, high customizable, responsive Jekyll theme for documentation with built-in search.
-
Virtual machines for iOS and macOS
-
-
Data validation using Python type hints
-
Pretty fancy and modern terminal file manager
-
The user-friendly command line shell.
-
Algebraic data types for C99