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  health  apple  theverge.com  google  show  trump  go  neuroscience  security  china  psypost.org  psychology  arstechnica.com  linux  nature.com  brain  gizmodo.com 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

A leap year check in three instructions

39 hours ago hueffner.de c compiler formalmethods

The current state of TLA⁺ development

42 hours ago ahelwer.ca formalmethods

Are We Serious About Using TLA+ For Statistical Properties?

6 days ago emptysqua.re formalmethods

New Life Hack: Using LLMs to Generate Constraint Solver Programs for Personal Logistics Tasks

19 hours ago emschwartz.me formalmethods llm vibecoding

Sleeping soundly with the help of TLA+ (2022)

43 hours ago blogs.oracle.com distributed formalmethods

A tool to verify estimates, II: a flexible proof assistant

7 days ago terrytao.wordpress.com formalmethods math

GenAI-Accelerated TLA+ Challenge

11 days ago foundation.tlapl.us formalmethods vibecoding

Warteschlangensimulator

2 days ago a-herzog.github.io formalmethods performance

Modular verification of MongoDB Transactions using TLA+

4 days ago muratbuffalo.blogspot.com distributed formalmethods mongodb

Benchmarking Crimes Meet Formal Verification

11 days ago microkerneldude.org formalmethods osdev

Debugging a Logic Circuit in IDP-Z3

12 days ago simonvandevelde.be debugging formalmethods math

Model error

40 days ago surfingcomplexity.blog formalmethods

Advent of Code in Coq (2021)

45 days ago github.com formalmethods

3110 Coq Tactics Cheatsheet

46 days ago cs.cornell.edu formalmethods

Revisiting an early critique of formal verification

28 days ago lawrencecpaulson.github.io formalmethods historical

coqoban: Sokoban (in Coq)

38 days ago github.com formalmethods game

certicoq: A Verified Compiler for Gallina, Written in Gallina

40 days ago github.com compiler formalmethods

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

39 days ago philipzucker.com assembly compiler formalmethods python reversing

Coding Isn't Programming

53 days ago socallinuxexpo.org formalmethods

Coq-of-rust: Formal verification tool for Rust

2 months ago github.com formalmethods rust

owi: Cross-language Bugfinder

2 months ago github.com formalmethods ml

Formal Verification of Zero-Downtime Database Migration in PlusCal

2 months ago biradarganesh25.github.io database formalmethods

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

57 days ago galois.com formalmethods release reversing security

Lean 4, release v4.17.0

2 months ago github.com formalmethods release

PeanoScript: TypeScript but it's a theorem prover

57 days ago peanoscript.mjgrzymek.com formalmethods javascript typescript

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods

2 months ago dl.acm.org aws formalmethods

Typestate Programming

2 months ago docs.rust-embedded.org formalmethods hardware plt rust

Where are all the Rewrite Rules?

2 months ago philipzucker.com formalmethods math

Comparing Two Verilog CPU Implementations Using EBMC

3 months ago philipzucker.com formalmethods hardware

Quint Deserves Rust

2 months ago informal.systems formalmethods rust

More →