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
Alternatives and similar repositories for stripe-ctf3:
Users that are interested in stripe-ctf3 are comparing it to the libraries listed below
- A framework for formally verifying distributed systems implementations in Coq☆599Updated 9 months ago
- ☆27Updated 10 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 7 years ago
- Interactive visualization framework for Runway models of distributed systems☆187Updated 3 years ago
- A formalization of category theory in the Coq proof assistant.☆95Updated 3 months ago
- OCaml bindings for TensorFlow☆284Updated 5 years ago
- Notes from my haskell course☆8Updated 8 years ago
- a sound modern language for computation and transactional resource logic☆101Updated 8 years ago
- Pure OCaml Git format and protocol☆364Updated this week
- The Design and Implementation of Probabilistic Programming Languages☆176Updated 10 months ago
- It's kinda like a forum.☆115Updated 4 years ago
- Experimental implementations of ML-style modules in Scala☆147Updated 9 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- Build system☆90Updated 6 years ago
- My personal repository of formally verified mathematics.☆295Updated this week
- Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol☆330Updated 6 years ago
- ☆64Updated 8 years ago
- Communication Free Learning (i.e. constraint solving) implementation in Haskell☆18Updated 9 years ago
- Summer 2015 Haskell Class☆213Updated 9 years ago
- ☆33Updated 10 years ago
- A set of challenges for jump starting your understanding of monads.☆330Updated 3 years ago
- 🐣 A blog engine written and proven in Coq☆178Updated 5 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- Collection of various research papers I find interesting☆85Updated 9 years ago
- Haskell Research Compiler☆819Updated 2 years ago
- Distributed decision tree ensemble learning in Scala☆392Updated 6 years ago
- Haskell JIT☆184Updated 5 years ago
- writing on haskell☆33Updated 8 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 2 years ago