Lists (1)
Stars
Typst for IntelliJ with TinyMist LSP integration
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Thesis/Dissertation Template for graduate students at Augusta University
Dafny is a verification-aware programming language
The Ott tool for writing definitions of programming languages and calculi
A friendly programming language from the future
A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
A Coq IDE build on top of Proof General's Coq mode
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Template for Augusta University Letterhead
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
A library of mechanised undecidability proofs in the Coq proof assistant.
Easy to maintain open source documentation websites.
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive programs.
Scrapers for extracting articles from major Finnish journalistic media outlets
Official repository for Citation Style Language (CSL) citation styles.
The CompCert formally-verified C compiler
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Testing chrome extensions with Node.js
A Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)