papers-we-love / pwlconf-infoLinks
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
Sorting:
- Strange Loop 2018 resources☆50Updated 6 years ago
- Strange Loop 2014 archives☆188Updated 10 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
- ☆41Updated 10 years ago
- ☆73Updated 11 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- TLA+ Foundation☆29Updated 3 weeks ago
- Like HyperLogLog, but slower 🛶☆10Updated 5 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- Solving "99 List Problems" using Objective Caml☆84Updated 6 years ago
- The website of the London Computation Club☆75Updated last year
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 7 months ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- ☆23Updated 12 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated last year
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 8 years ago
- Guide elucidating Lambda Calculus☆16Updated 3 years ago
- Introduction to Haskell, CS 1501 Lecture slides☆49Updated 10 years ago
- ☆64Updated 8 years ago
- My reading list☆83Updated 3 years ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago