janosgyerik / stripe-ctf3Links
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:
- Python implementation of the Jeeves programming language.☆337Updated 7 years ago
- a sound modern language for computation and transactional resource logic☆101Updated 9 years ago
- A framework for formally verifying distributed systems implementations in Coq☆610Updated 4 months ago
- For Github Data Challenge 2014☆50Updated 11 years ago
- Summer 2015 Haskell Class☆212Updated 10 years ago
- Stripe paper reading group materials☆261Updated 10 years ago
- Simple blockchain server written in Haskell for educational purposes☆602Updated 7 years ago
- A bit torrent client☆18Updated 6 years ago
- A modern syntax for the λ-calculus.☆411Updated 9 years ago
- Collection of various research papers I find interesting☆85Updated 10 years ago
- 🐣 A blog engine written and proven in Coq☆182Updated 5 years ago
- Algorithms from AIMA in Haskell☆335Updated 8 years ago
- Purely functional artificial neural network library implemented in Haskell.☆382Updated 9 years ago
- The Hindley Milner Type Inference Algorithm☆374Updated 8 years ago
- Brent Yorgey's CIS 194: Introduction to Haskell☆20Updated 10 years ago
- A probabilistic programming language☆322Updated 3 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- Total functional programming (ESFP) literature☆187Updated 6 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 9 years ago
- Communication Free Learning (i.e. constraint solving) implementation in Haskell☆18Updated 10 years ago
- A set of challenges for jump starting your understanding of monads.☆338Updated 4 years ago
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆283Updated 3 years ago
- A place for me to keep essays/papers I'm working on...☆33Updated 12 years ago
- Try Haskell☆192Updated 2 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆203Updated last year
- Haskell Research Compiler☆818Updated 3 years ago
- A collection of interesting talks☆32Updated 9 years ago
- ☆54Updated 9 years ago
- ☆343Updated 7 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year