janosgyerik / stripe-ctf3
The original problems in the Capture The Flag 3 computing contest, with test files to replay easily on your PC
☆18Updated 2 years ago
Alternatives and similar repositories for stripe-ctf3
Users that are interested in stripe-ctf3 are comparing it to the libraries listed below
Sorting:
- A framework for formally verifying distributed systems implementations in Coq☆606Updated last year
- Programming Models and Languages for Distributed Computation☆240Updated 6 years ago
- A modern syntax for the λ-calculus.☆413Updated 8 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆30Updated 5 years ago
- For Github Data Challenge 2014☆50Updated 10 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Haskell JIT☆184Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Stripe paper reading group materials☆260Updated 10 years ago
- Try Haskell☆192Updated last year
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- My personal repository of formally verified mathematics.☆299Updated last month
- A formalization of category theory in the Coq proof assistant.☆95Updated 6 months ago
- Summer 2015 Haskell Class☆213Updated 9 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- It's kinda like a forum.☆114Updated 4 years ago
- Interactive visualization framework for Runway models of distributed systems☆186Updated 3 years ago
- FSCQ is a certified file system written and proven in Coq☆242Updated 2 years ago
- Distributed decision tree ensemble learning in Scala☆392Updated 6 years ago
- 🐣 A blog engine written and proven in Coq☆178Updated 5 years ago
- Example code for how we swap compiled code within a running Haskell process.☆172Updated 6 years ago
- haskell neural network library☆112Updated 8 years ago
- A visualization of key structures in abstract algebra.☆155Updated 5 years ago
- A place for me to keep essays/papers I'm working on...☆33Updated 11 years ago
- Algebraic type based schema system☆128Updated 5 years ago
- ☆101Updated 7 years ago
- Build system☆90Updated 6 years ago
- World's dumbest fuzzer☆52Updated last year
- Total functional programming (ESFP) literature☆187Updated 6 years ago