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  vibecoding  psychology  security  health  theguardian.com  linux  release  psypost.org  javascript  techcrunch.com  apple  go  show  video  arstechnica.com  java  web 

Evolving Languages Faster with Type Tailoring (2024)

55 days ago lambdaland.org lisp plt

c-- (2008)

2 months ago cs.tufts.edu compiler plt

A Language For Agents

2 months ago lucumr.pocoo.org plt vibecoding

Custom Data Structures in E-Graphs

53 days ago uwplse.org compiler logiclangs plt python

glang

2 months ago github.com d plt

Hare 0.26.0 released

2 months ago harelang.org plt release

Defining Safe Hardware Design [pdf]

2 months ago people.csail.mit.edu hardware pdf plt

TablaM

2 months ago tablam.org logiclangs plt

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