Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  show  microsoft  google  psychology  web  china  security  health  apple  go  psypost.org  neuroscience  theverge.com  linux  arstechnica.com  nature.com  javascript 

An introduction to property-based testing with QuickCheck (2020)

7 hours ago jesper.sikanda.be haskell

Don't worry (about writing Haskell), be happy (writing Agda instead)

3 years ago jesper.sikanda.be haskell

1001 Representations of Syntax with Binding

4 years ago jesper.sikanda.be

An introduction to property-based testing with QuickCheck

5 years ago jesper.sikanda.be

Formalize all the things (in Agda)

6 years ago jesper.sikanda.be