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  trump  health  show  go  web  environment  release  theguardian.com  arstechnica.com  china  biology  microsoft  linux  neuroscience  apple  reuters.com  tesla 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Math for Computer Science and Machine Learning [pdf]

13 days ago cis.upenn.edu math pdf

Types and Programming Languages

2 months ago cis.upenn.edu

Functional Programming in Coq

21 months ago softwarefoundations.cis.upenn.edu

Great Works in Programming Languages

2 years ago cis.upenn.edu

Algebra, Topology, Differential Calculus, and Optimization Theory

2 years ago cis.upenn.edu

The Software Foundations: mathematical underpinnings of reliable software

3 years ago softwarefoundations.cis.upenn.edu

Proofs, Computability, Undecidability, Complexity, and the Lambda Calculus

3 years ago cis.upenn.edu lambda

Sam's Strobe FAQ

4 years ago repairfaq.cis.upenn.edu

Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi

4 years ago cis.upenn.edu

Featherweight Java: A Minimal Core Calculus for Java and GJ (2002)

4 years ago cis.upenn.edu java

Vellvm: Verified LLVM

5 years ago cis.upenn.edu llvm

Algebra, Topology, Differential Calculus, and Optimization Theory

5 years ago cis.upenn.edu

Unison File Synchronizer

5 years ago cis.upenn.edu

Math Basics for Computer Science and Machine Learning from UPenn

5 years ago cis.upenn.edu math

Type-and-Example-Directed Program Synthesis (2015)

6 years ago cis.upenn.edu

Software Foundations - Vol 1-3

7 years ago softwarefoundations.cis.upenn.edu

The Algorithmic Foundations of Differential Privacy

7 years ago cis.upenn.edu privacy

Automatic Synthesis of Distributed Protocols (2017)

7 years ago cis.upenn.edu

Total Haskell is Reasonable Coq

7 years ago cis.upenn.edu haskell

Testing Non-Interference, Quickly (2012)

7 years ago cis.upenn.edu

Algebra, Topology, Differential Calculus, and Optimization Theory for CS

7 years ago cis.upenn.edu

Software Foundations

7 years ago softwarefoundations.cis.upenn.edu

Software Foundations: Certified Programming in Coq

7 years ago cis.upenn.edu

The Essence of Event-Driven Programming

8 years ago cis.upenn.edu

Vellvm: Verifying the LLVM (2015)

8 years ago cis.upenn.edu llvm

Dynamic Programming: The Name (1984)

8 years ago learning.cis.upenn.edu

Software Foundations by Benjamin Pierce et al.

9 years ago cis.upenn.edu

Mysteries of Dropbox: Property-Based Testing of a Synchronization Service

9 years ago cis.upenn.edu dropbox

Vellvm: Verified LLVM

9 years ago cis.upenn.edu llvm

The KeyKOS Nanokernel Architecture (1992)

9 years ago cis.upenn.edu

More →