Display options

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

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  github.com  rust  show  trump  microsoft  health  theverge.com  apple  arstechnica.com  web  google  psypost.org  release  psychology  nature.com  javascript  security  windows  china 
Loading...

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

The current state of TLA⁺ development

8 days ago ahelwer.ca formalmethods

Are We Serious About Using TLA+ For Statistical Properties?

13 days ago emptysqua.re formalmethods

A leap year check in three instructions

8 days ago hueffner.de c compiler formalmethods

Sleeping soundly with the help of TLA+ (2022)

8 days ago blogs.oracle.com distributed formalmethods

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

13 days ago terrytao.wordpress.com formalmethods math

GenAI-Accelerated TLA+ Challenge

17 days ago foundation.tlapl.us formalmethods vibecoding

Warteschlangensimulator

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

Benchmarking Crimes Meet Formal Verification

18 days ago microkerneldude.org formalmethods osdev

Modular verification of MongoDB Transactions using TLA+

11 days ago muratbuffalo.blogspot.com distributed formalmethods mongodb

The value of model checking in distributed protocols design

4 days ago protocols-made-fun.com distributed formalmethods

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

7 days ago emschwartz.me formalmethods llm vibecoding

Debugging a Logic Circuit in IDP-Z3

19 days ago simonvandevelde.be debugging formalmethods math

A Python frozenset interpretation of Dependent Type Theory

4 days ago philipzucker.com formalmethods plt python

Model error

47 days ago surfingcomplexity.blog formalmethods

Advent of Code in Coq (2021)

52 days ago github.com formalmethods

3110 Coq Tactics Cheatsheet

53 days ago cs.cornell.edu formalmethods

Revisiting an early critique of formal verification

35 days ago lawrencecpaulson.github.io formalmethods historical

coqoban: Sokoban (in Coq)

44 days ago github.com formalmethods game

certicoq: A Verified Compiler for Gallina, Written in Gallina

47 days ago github.com compiler formalmethods

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

45 days ago philipzucker.com assembly compiler formalmethods python reversing

Coding Isn't Programming

59 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

2 months 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

2 months 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?

3 months ago philipzucker.com formalmethods math

More →