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: ⓘ
- Programming Models and Languages for Distributed Computation☆240Updated 5 years ago
- Summer 2015 Haskell Class☆212Updated 9 years ago
- Interactive visualization framework for Runway models of distributed systems☆188Updated 2 years ago
- A framework for formally verifying distributed systems implementations in Coq☆582Updated 4 months ago
- Haskell Research Compiler☆816Updated last year
- 🐣 A blog engine written and proven in Coq☆177Updated 4 years ago
- A formalization of category theory in the Coq proof assistant.☆92Updated 3 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 7 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 7 years ago
- Stripe paper reading group materials☆261Updated 9 years ago
- Collection of various research papers I find interesting☆86Updated 8 years ago
- A probabilistic programming language☆309Updated 2 years ago
- Total functional programming (ESFP) literature☆187Updated 5 years ago
- A set of challenges for jump starting your understanding of monads.☆323Updated 3 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆71Updated last year
- Haskell JIT☆181Updated 4 years ago
- Papers☆64Updated 7 years ago
- ☆176Updated this week
- The Design and Implementation of Probabilistic Programming Languages☆173Updated 4 months ago
- The K tools (deprecated, see README)☆146Updated 6 years ago
- Simple blockchain server written in Haskell for educational purposes☆601Updated 6 years ago
- Algorithms from AIMA in Haskell☆329Updated 7 years ago
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆275Updated 2 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 3 years ago
- ☆40Updated this week
- A modern syntax for the λ-calculus.☆409Updated 8 years ago
- Smart Contracts Running on a BFT Hardened Raft☆453Updated 2 years ago
- A place for me to keep essays/papers I'm working on...☆32Updated 10 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆216Updated 6 years ago
- Cloud Haskell core libraries☆709Updated last week