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  arstechnica.com  health  theverge.com  google  web  brain  microsoft  psychology  nature.com  go  show  meta  video  theguardian.com  game  medicine  javascript 

"I've Got Nothing to Hide" and Other Misunderstandings of Privacy (2008) [pdf]

3 months ago cs.ru.nl pdf privacy

Formalizing 100 Theorems

11 months ago cs.ru.nl

Formal Proof Sketches (2003)

2 years ago cs.ru.nl

The Clean Language

2 years ago clean.cs.ru.nl

Functional Pearl: I am not a Number–I am a Free Variable (2004)

5 years ago cs.ru.nl

QED Manifesto

5 years ago cs.ru.nl

Formalizing 100 Theorems

5 years ago cs.ru.nl

Epigram: Practical Programming with Dependent Types (2004)

6 years ago cs.ru.nl

A Toolchain for Verified, Ocaml Programs

6 years ago cs.ru.nl ocaml

Clean – A functional programming language

6 years ago clean.cs.ru.nl

Formalizing 100 Theorems

8 years ago cs.ru.nl

Security without Identification (1985)

8 years ago cs.ru.nl

The Discoveries of Continuations (1993) [pdf]

9 years ago cs.ru.nl pdf