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
- Strange Loop 2018 resources☆50Updated 6 years ago
- ☆42Updated 8 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 7 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- ☆64Updated 8 years ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- Guide elucidating Lambda Calculus☆16Updated 3 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- ☆73Updated 11 years ago
- TLA+ Foundation☆31Updated last week
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Iterated Function Systems fractals with OCaml.☆35Updated 2 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 5 months ago
- A Python 3 compiler that anyone can understand.☆67Updated 10 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- The website of the London Computation Club☆74Updated last year
- Learning Haskell: algorithms, data structures, mini-programs, materials, excercises☆17Updated 5 years ago
- The 2015 ICFP Programming Contest☆7Updated 9 years ago
- ☆23Updated 12 years ago
- Compile-time metaprogramming for OCaml☆72Updated 7 months ago
- Strange Loop 2014 archives☆188Updated 10 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- The rewrite of TLAPM, the TLAPS proof managerUpdated 5 years ago
- Distributed system simulator and distributed algorithm scratchpad☆21Updated last year
- A convenience library for the integration of FoundationDB and various layers in a Dropwizard service.☆12Updated last week
- A small demo lambda-language written in Python☆31Updated 6 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago