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  health  trump  psychology  arstechnica.com  psypost.org  show  go  vibecoding  java  security  environment  neuroscience  google  game  javascript  biology  apple 

Propositions as Types

9 years ago homepages.inf.ed.ac.uk

Functional Programming in the Real World

9 years ago homepages.inf.ed.ac.uk

History of logic and programming languages

9 years ago homepages.inf.ed.ac.uk

The Implicit Calculus: A New Foundation for Generic Programming [pdf]

10 years ago homepages.inf.ed.ac.uk pdf

The Researcher's Bible

10 years ago homepages.inf.ed.ac.uk

Basics of Machine Learning

11 years ago homepages.inf.ed.ac.uk