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  vibecoding  security  release  theguardian.com  health  psychology  i.redd.it  psypost.org  reuters.com  go  google  game  windows  linux  show  web  biology 

Functional Data Structures and Algorithms. A Proof Assistant Approach

2 months ago fdsa-book.net algorithm book formalmethods pdf plt

Beta release: Predicated Recursive Descent for Rust

2 months ago wareya.wordpress.com plt release rust

Proof-oriented Programming in F*

2 months ago fstar-lang.org book formalmethods plt

Salt: Systems programming, mathematically verified

58 days ago salt-lang.dev plt rust vibecoding

The State Of Garnet, 2026

2 months ago wiki.alopex.li plt

Functors, Applicatives, and Monads: The Scary Words You Understand

3 months ago cekrem.github.io elm plt

Kip: A programming language based on grammatical cases of Turkish

3 months ago github.com plt

Visitor as a sum type (2018)

2 months ago blog.ploeh.dk plt

Type-safe eval in Grace

2 months ago haskellforall.com plt

Why not tail recursion?

2 months ago futhark-lang.org plt