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  psychology  meta  health  microsoft  game  release  i.redd.it  vibecoding  psypost.org  apple  theguardian.com  tomshardware.com  web  show  techspot.com  arstechnica.com  google 

Meet Kiki - an array language

3 months ago eli.li apl plt

Formal Methods

3 months ago formalmethods.dk formalmethods plt

Transpiling from Python into Lisp

2 months ago github.com lisp plt python

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

2 months ago discourse.haskell.org haskell plt rust

The thrilling adventures of Lovelace and Babbage

2 months ago archive.org book design historical plt

Red-black tree in Lean 4 prover with everything proved

3 months ago rentry.co formalmethods plt

Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory

2 months ago github.com haskell lambda plt

Validating Hare’s Sort Module using Symbolic Execution

3 months ago notes.8pit.net formalmethods plt

Formal typing rules and presentation materials for Swift 6.2's concurrency type system, focusing on Capability and Region

2 months ago github.com concurrency plt swift

Borrow-checking without type-checking

2 months ago scattered-thoughts.net plt rust