tools
Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
A Verified Compiler for Gallina, Written in Gallina
Another Network Tunnel; A simple program for local/remote port forwarding over a SSH tunnel.
Wasm Language Runtimes provides popular language runtimes (Ruby, Python, …) precompiled to WebAssembly that are tested for compatibility and kept up to date when new versions of upstream languages …
🦜🔗 Build context-aware reasoning applications
A collection of tools for writing technical documents that mix Coq code and prose.
A python tool to automatically rename the pdf files of scientific publications by looking up the publication metadata on the web.
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…
A proof-of-concept microkernel that runs WebAssembly natively.
Microkit - A simple operating system framework for the seL4 microkernel
Penpot: The open-source design tool for design and code collaboration
A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.
Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ
Creusot helps you prove your code is correct in an automated fashion.
A static verifier for Rust, based on the Viper verification infrastructure.
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
VSCode extension that is designed to help automate writing of Coq proofs.