ectfmitre / 2026-ectf-insecure-exampleLinks
☆25Updated 2 weeks ago
Alternatives and similar repositories for 2026-ectf-insecure-example
Users that are interested in 2026-ectf-insecure-example are comparing it to the libraries listed below
Sorting:
- ☆358Updated 4 months ago
- OCaml Implementation of the (famous) Baguette# exotic language, used as TIPE for the 2022,2023 seasons concours☆31Updated 11 months ago
- Stdlib for the Rocq Prover☆31Updated last week
- NES emulator in OCaml☆43Updated 2 years ago
- Interpreter for the perfect programming language☆413Updated last year
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆74Updated last month
- Compile OCaml to standalone ANSI C file☆45Updated 2 months ago
- ☆30Updated 2 years ago
- ☆43Updated last week
- 100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks☆32Updated 10 months ago
- Neovim client for coq-lsp☆30Updated 4 months ago
- A garden of small programming language implementations 🪴☆311Updated last week
- The first ever roguelike written in the OCaml type system☆94Updated 10 months ago
- Python client for coq-lsp☆47Updated 2 months ago
- OCaml bindings for Clang☆18Updated 2 weeks ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆68Updated 2 years ago
- A first-order concurrent automated theorem prover☆23Updated 5 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]☆197Updated last week
- 2d game engine for OCaml☆75Updated 2 months ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- The Som functional programming language☆21Updated 2 years ago
- ☆27Updated 3 months ago
- English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano☆37Updated 3 years ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆47Updated last year
- 📚 A collection of resources about interaction nets☆22Updated 3 months ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆27Updated 6 months ago
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆49Updated last week
- An SMT solver frontend for OCaml☆59Updated this week
- A Discord bot for interaction with the CyberPatriot scoreboard☆121Updated 3 months ago
- One album per day☆13Updated last year