janosgyerik / stripe-ctf3
The original problems in the Capture The Flag 3 computing contest, with test files to replay easily on your PC
☆18Updated last year
Related projects ⓘ
Alternatives and complementary repositories for stripe-ctf3
- Programming Models and Languages for Distributed Computation☆240Updated 6 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆59Updated 9 years ago
- Stripe paper reading group materials☆261Updated 9 years ago
- Dyna2 compiler and REPL☆146Updated 4 years ago
- A framework for formally verifying distributed systems implementations in Coq☆590Updated 6 months ago
- Experimental implementations of ML-style modules in Scala☆147Updated 9 years ago
- Collection of various research papers I find interesting☆86Updated 9 years ago
- A formalization of category theory in the Coq proof assistant.☆93Updated 2 weeks ago
- Interactive visualization framework for Runway models of distributed systems☆188Updated 2 years ago
- All the examples in Real World OCaml☆376Updated last year
- 🐣 A blog engine written and proven in Coq☆178Updated 4 years ago
- Ye Olde Computer Science Scrolls!☆102Updated 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
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆72Updated last year
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- Build system☆90Updated 6 years ago
- Mirror of Software Foundations in PDF☆296Updated 4 years ago
- A TLA+ guide☆278Updated 2 years ago
- A probabilistic programming language☆311Updated 2 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- a book about ocaml☆186Updated 7 years ago
- The K tools (deprecated, see README)☆146Updated 6 years ago
- Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"☆142Updated 6 years ago
- My personal notes on various computer languages☆221Updated 4 years ago
- Total functional programming (ESFP) literature☆187Updated 5 years ago
- A resource library for PLT, Haskell, ML and compilers.☆21Updated 11 years ago
- Accompanying Repository for The Verification of a Distributed System Talk☆183Updated 8 years ago
- A repository for generative models☆113Updated last year
- The Hindley Milner Type Inference Algorithm☆365Updated 7 years ago
- Machi file store☆122Updated 8 years ago