Pinned Repositories
CodeMirror
In-browser code editor
CompCert
The CompCert C verified compiler
containers
Containers: a typeclass-based library of finite sets/maps
coq
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.
coqtheorem
A LaTeX package to make ntheorem environment names link to coqdoc webpages
lvc
LVC verified compiler
node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
polymer
Our original Web Component library.
smpl
A Coq plugin providing an extensible tactic similar to first.
sigurdschneider's Repositories
sigurdschneider/lvc
LVC verified compiler
sigurdschneider/smpl
A Coq plugin providing an extensible tactic similar to first.
sigurdschneider/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
sigurdschneider/CodeMirror
In-browser code editor
sigurdschneider/CompCert
The CompCert C verified compiler
sigurdschneider/containers
Containers: a typeclass-based library of finite sets/maps
sigurdschneider/coq
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.
sigurdschneider/coqtheorem
A LaTeX package to make ntheorem environment names link to coqdoc webpages
sigurdschneider/node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
sigurdschneider/polymer
Our original Web Component library.
sigurdschneider/WebFundamentals
Best practices for modern web development