Pinned Repositories
bibtex2html
colis-language
A symbolic analyser for shell scripts.
morbig
A static parser for POSIX Shell
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.
osmose-backend
Part of osmose that runs the analysis, and send the results to the frontend.
bibtex2html
camlzip
Reading and writing zip and gzip files from OCaml
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.
osmose-backend
Part of osmose that runs the analysis, and send the results to the frontend.
camlzip
Reading and writing zip and gzip files from OCaml
treinen's Repositories
treinen/bibtex2html
treinen/camlzip
Reading and writing zip and gzip files from OCaml
treinen/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.
treinen/osmose-backend
Part of osmose that runs the analysis, and send the results to the frontend.