Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  health  video  vibecoding  web  environment  nature.com  psychology  apple  release  brain  game  techcrunch.com  google  arstechnica.com  psypost.org  compiler  trump 

Modular verification of MongoDB Transactions using TLA+

2 months ago muratbuffalo.blogspot.com distributed formalmethods mongodb

The value of model checking in distributed protocols design

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

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

56 days ago emschwartz.me formalmethods llm vibecoding

Debugging a Logic Circuit in IDP-Z3

2 months ago simonvandevelde.be debugging formalmethods math

A Python frozenset interpretation of Dependent Type Theory

53 days ago philipzucker.com formalmethods plt python

Model error

3 months ago surfingcomplexity.blog formalmethods

Advent of Code in Coq (2021)

3 months ago github.com formalmethods

3110 Coq Tactics Cheatsheet

3 months ago cs.cornell.edu formalmethods

Revisiting an early critique of formal verification

2 months ago lawrencecpaulson.github.io formalmethods historical

coqoban: Sokoban (in Coq)

3 months ago github.com formalmethods game

certicoq: A Verified Compiler for Gallina, Written in Gallina

3 months ago github.com compiler formalmethods

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

3 months ago philipzucker.com assembly compiler formalmethods python reversing

Coding Isn't Programming

3 months ago socallinuxexpo.org formalmethods

Coq-of-rust: Formal verification tool for Rust

3 months ago github.com formalmethods rust

owi: Cross-language Bugfinder

4 months ago github.com formalmethods ml

Formal Verification of Zero-Downtime Database Migration in PlusCal

4 months ago biradarganesh25.github.io database formalmethods

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

3 months ago galois.com formalmethods release reversing security

Lean 4, release v4.17.0

4 months ago github.com formalmethods release

PeanoScript: TypeScript but it's a theorem prover

3 months ago peanoscript.mjgrzymek.com formalmethods javascript typescript

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

4 months ago dl.acm.org aws formalmethods

Typestate Programming

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

Where are all the Rewrite Rules?

4 months ago philipzucker.com formalmethods math

Comparing Two Verilog CPU Implementations Using EBMC

5 months ago philipzucker.com formalmethods hardware

Quint Deserves Rust

4 months ago informal.systems formalmethods rust

A mechanically verified garbage collector for OCaml [pdf]

4 months ago kcsrk.info formalmethods ml ocaml pdf

Practical Alloy: A hands-on guide to formal software design

4 months ago practicalalloy.github.io book formalmethods

ACL2

5 months ago cs.utexas.edu formalmethods lisp

Jepsen Test on Patroni: A PostgreSQL High Availability Solution (2024)

4 months ago binwang.me database formalmethods postgresql

Regular Expressions which query Oracles

5 months ago arxiv.org formalmethods

Verified and Efficient Matching of Regular Expressions with Lookaround

5 months ago github.com formalmethods

More →