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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated last year
- A command based oscilloscope software.☆16Feb 22, 2026Updated last month
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- A collection of various utility codes coded myself☆12Oct 10, 2025Updated 5 months ago
- ☆10Jul 22, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- relay http requests to a gopher server☆13Jul 14, 2025Updated 8 months ago
- Logic puzzle game based on the lambda calculus☆20Nov 9, 2012Updated 13 years ago
- GNU Guile Scheme bindings for OCaml☆18Aug 5, 2022Updated 3 years ago
- Scalable implementation of Lee / Mykland (2012) and Ait-Sahalia / Jacod (2012) Jump tests for noisy high frequency data☆12Jan 26, 2025Updated last year
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆35Jan 25, 2025Updated last year
- A gallery of csound instruments☆17Oct 28, 2021Updated 4 years ago
- 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 4 months ago
- simulation of Heston model by Monte-Carlo method☆12Aug 26, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆11Apr 30, 2025Updated 10 months ago
- A Python framework for running reproducible experiments using OpenTTD☆48Jun 4, 2025Updated 9 months ago
- Catkin wrapper for a Bazel-free build of Tensorflow☆18Sep 2, 2018Updated 7 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- notepad++堆缓冲区溢出漏洞CVE-2023-40031 分析与复现☆15Sep 8, 2023Updated 2 years ago
- Microbenchmarks for Aarch64 (Cortex A53)☆12Apr 19, 2023Updated 2 years ago
- OCaml WebAssembly runtime powered by Wasmtime☆35May 2, 2022Updated 3 years ago
- Slides and exercises for an STM "course" series☆30Jun 10, 2020Updated 5 years ago
- LP and MIP modeling in OCaml☆30Mar 19, 2026Updated last week
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Buyside research pipeline - generates institutional-quality investment memos from ticker symbols☆25Feb 4, 2026Updated last month
- 🐜 Tiny Manager is a tiny application for managing self projects. Bundled with essential features it allows quick and easy management of …☆19Jul 22, 2023Updated 2 years ago
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆16Jan 15, 2026Updated 2 months ago
- Unicode text segmentation for OCaml☆25Feb 13, 2026Updated last month
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated 2 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Jun 25, 2020Updated 5 years ago
- Creating Lego compatible bricks using FreeCAD and Python☆11Dec 12, 2023Updated 2 years ago
- A unified Python simulation and hardware communication environment for Franka FR3 robots.☆21Aug 15, 2024Updated last year
- Library for tokenizing code with TextMate grammars☆15Mar 20, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An implementation of deep reinforcement learning TD3 algorithm with prioritized experience replay (PER) buffer☆24Aug 14, 2019Updated 6 years ago
- Course materials for learners to build autonomous cars and smart cities using micro:bit and Arm-based IoT robotics (educational)☆17Jun 12, 2025Updated 9 months ago
- ☆29Sep 4, 2019Updated 6 years ago
- ☆13Jan 30, 2026Updated last month
- Irmin website☆12Feb 26, 2026Updated last month
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆44Jan 17, 2026Updated 2 months ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 4 years ago