AkechiShiro / slides-talksView external linksLinks
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.☆16Jan 7, 2026Updated last month
- 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
- GNU Guile Scheme bindings for OCaml☆18Aug 5, 2022Updated 3 years ago
- Algebraic structures in OCaml.☆25Nov 21, 2025Updated 2 months 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 7 months ago
- OCaml WebAssembly runtime powered by Wasmtime☆35May 2, 2022Updated 3 years ago
- ☆19Feb 4, 2026Updated last week
- A general purpose ESP32 IOT board for the Apple IIe☆85Jul 26, 2022Updated 3 years ago
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆37Jan 30, 2022Updated 4 years ago
- A demo app showing you how to integrate with Google Cloud Translate API☆10Mar 20, 2019Updated 6 years ago
- A beautiful, modern, and feature-rich mobile client for Music Player Daemon (MPD)☆22Aug 21, 2025Updated 5 months ago
- An easy to decode base64 modification.☆41Jan 4, 2022Updated 4 years ago
- Small Node CLI tool to extract active contributors on repos and orgs☆10Dec 6, 2022Updated 3 years ago
- Example application for V4L2☆14Sep 24, 2025Updated 4 months ago
- ☆10Jan 16, 2025Updated last year
- ☆16Updated this week
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- A 2D simulation of orbital mechanics and rocket launch from earth☆31Feb 2, 2026Updated last week
- 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
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆10Jan 27, 2026Updated 2 weeks ago
- A modern and Pythonic Backblaze B2 API wrapper☆13Jul 30, 2025Updated 6 months ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Image converter using an ASCII based ad hoc dithering algorithm☆10Oct 3, 2023Updated 2 years ago
- Proxy server that records responses for UI testing (and other things)☆41Jan 26, 2021Updated 5 years ago
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆44Jan 17, 2026Updated 3 weeks 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
- Sonos server for my 5 year old to control his speaker using an esp32s3 M5Stack CardPuter☆24Sep 1, 2025Updated 5 months ago
- Eltanin system programming library☆17Feb 24, 2025Updated 11 months ago
- ☆12Mar 4, 2025Updated 11 months ago
- OCaml implementation of MySQL/MariaDB protocol with the Bitstring library☆14Apr 12, 2022Updated 3 years ago
- The Judo score board and timer☆16Jan 18, 2026Updated 3 weeks ago
- Module for form bindings and input fields in Quill☆10Sep 27, 2018Updated 7 years ago
- Library for construction, manipulation and evaluation of factorable functions☆12Dec 13, 2025Updated 2 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 10 months ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- Hook up the OnePlus6(T) tri-state key in PostmarketOS!☆10Oct 6, 2021Updated 4 years ago