My own cybersecurity research talks/slides
☆37Aug 20, 2023Updated 2 years ago
Alternatives and similar repositories for slides-talks
Users that are interested in slides-talks are comparing it to the libraries listed below
Sorting:
- A command based oscilloscope software.☆16Feb 22, 2026Updated 2 weeks ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated last year
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆16Dec 11, 2024Updated last year
- Algebraic structures in OCaml.☆25Nov 21, 2025Updated 3 months ago
- Caterpillar is a security scanning library for AI agent skill files (e.g., Claude Code skills) for dangerous or malicious behavior☆33Feb 16, 2026Updated 2 weeks ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- LP and MIP modeling in OCaml☆29Jun 24, 2025Updated 8 months ago
- OCaml WebAssembly runtime powered by Wasmtime☆35May 2, 2022Updated 3 years ago
- A beautiful, modern, and feature-rich mobile client for Music Player Daemon (MPD)☆22Aug 21, 2025Updated 6 months ago
- A demo app showing you how to integrate with Google Cloud Translate API☆10Mar 20, 2019Updated 6 years ago
- Project of eyantra☆11Oct 22, 2022Updated 3 years ago
- A general purpose ESP32 IOT board for the Apple IIe☆86Jul 26, 2022Updated 3 years ago
- Easily create authenticated data structures☆43Apr 11, 2023Updated 2 years ago
- A Python framework for running reproducible experiments using OpenTTD☆47Jun 4, 2025Updated 9 months ago
- An easy to decode base64 modification.☆41Jan 4, 2022Updated 4 years ago
- I might write stuff here sometimes☆113Feb 23, 2026Updated 2 weeks ago
- A 2D simulation of orbital mechanics and rocket launch from earth☆32Feb 2, 2026Updated last month
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆10Jan 27, 2026Updated last month
- Example application for V4L2☆14Sep 24, 2025Updated 5 months ago
- Documentation about the Tympan☆14Jun 14, 2022Updated 3 years ago
- Buyside research pipeline - generates institutional-quality investment memos from ticker symbols☆22Feb 4, 2026Updated last month
- Repo to implement the advertise and scanner portion for bluetooth to enable encounter/exposure tracing (e.g. Apple/Google / TCN / etc...)…☆10Jun 11, 2020Updated 5 years ago
- A modern and Pythonic Backblaze B2 API wrapper☆13Feb 24, 2026Updated last week
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- ☆10Jan 16, 2025Updated last year
- Image converter using an ASCII based ad hoc dithering algorithm☆10Oct 3, 2023Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Proxy server that records responses for UI testing (and other things)☆41Jan 26, 2021Updated 5 years ago
- Simple demo illustrating remanence of data in RAM (see Cold boot attack) using a Raspberry Pi. Loads many images of the Mona Lisa into R…☆104Feb 3, 2024Updated 2 years ago
- A C & x86 version of the "Let's Build a Compiler" by Jack Crenshaw☆10Nov 30, 2018Updated 7 years ago
- Workshop materials for making your first R package 📦👩💻☆11Oct 11, 2022Updated 3 years ago
- token exchange as a service☆11Updated this week
- vBrowser is a secure, containerized browser platform designed for covert web investigations. Originally created to support deep and dark …☆20Feb 24, 2026Updated last week
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 3 years ago
- interprets lambda calculus☆10Dec 1, 2025Updated 3 months ago