Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: github.com  ai  rust  health  web  google  arstechnica.com  theverge.com  go  nature.com  meta  microsoft  psychology  brain  javascript  video  game  medicine  techcrunch.com  theguardian.com 

Peter Selinger’s Lecture notes on the lambda calculus [pdf]

6 months ago irif.fr lambda pdf

The Design Principles of the Elixir Type System [pdf]

17 months ago irif.fr elixir pdf plt

Unnamed SFU – Open Source One-to-many videoconferencing for teaching/conferences

4 years ago irif.fr

Coq Coq Correct: Verification of Type Checking and Erasure forCoq, in Coq

5 years ago irif.fr

Covariance and Contravariance: a fresh look at an old issue

7 years ago irif.fr

Nicolas Schabanel - Turing complete molecular machines through DNA Folding

7 years ago irif.fr turing