papers-we-love / pwlconf-info
Materials and accompanying references for all things pwlconf related
☆59Updated 5 years ago
Alternatives and similar repositories for pwlconf-info:
Users that are interested in pwlconf-info are comparing it to the libraries listed below
- ☆64Updated 8 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- ☆42Updated 9 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 years ago
- Strange Loop 2014 archives☆187Updated 10 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- The website of the London Computation Club☆75Updated last year
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- TLA+ Foundation☆29Updated last week
- The 2015 ICFP Programming Contest☆7Updated 9 years ago
- Strange Loop 2018 resources☆50Updated 6 years ago
- My reading list☆82Updated 3 years ago
- miniKanren for interactive tutorials on the web☆33Updated 7 years ago
- Alice ML implementation☆17Updated 2 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- Code for http://oilshell.org/blog/☆50Updated 2 weeks ago
- Iterated Function Systems fractals with OCaml.☆35Updated 2 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Slides and resources for talks on partition tolerance☆33Updated 6 years ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- My Blog.☆56Updated 11 months ago
- Shonan #143: Programming Language Support for Data-intensive Applications☆15Updated 5 years ago
- Papers We ❤️ Remote☆26Updated 8 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 7 years ago
- ☆23Updated 12 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- ☆46Updated last month
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 5 months ago