Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  show  health  china  linux  video  psychology  google  apple  windows  javascript  theverge.com  theguardian.com  microsoft  game  techcrunch.com  go  arstechnica.com 

coqoban: Sokoban (in Coq)

9 months ago github.com formalmethods game

certicoq: A Verified Compiler for Gallina, Written in Gallina

9 months ago github.com compiler formalmethods

"Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra

9 months ago philipzucker.com assembly compiler formalmethods python reversing

Coding Isn't Programming

9 months ago socallinuxexpo.org formalmethods

Coq-of-rust: Formal verification tool for Rust

10 months ago github.com formalmethods rust

owi: Cross-language Bugfinder

10 months ago github.com formalmethods ml

Formal Verification of Zero-Downtime Database Migration in PlusCal

10 months ago biradarganesh25.github.io database formalmethods

Grease: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code

9 months ago galois.com formalmethods release reversing security

Lean 4, release v4.17.0

10 months ago github.com formalmethods release

PeanoScript: TypeScript but it's a theorem prover

9 months ago peanoscript.mjgrzymek.com formalmethods javascript typescript