Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr
☆17Mar 23, 2022Updated 4 years ago
Alternatives and similar repositories for px1000cr
Users that are interested in px1000cr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Jul 30, 2020Updated 5 years ago
- Updated SLIP/PPP via the venerable Slirp☆15Apr 20, 2025Updated last year
- A hobby NES emulator written in Rust.☆15Jan 23, 2022Updated 4 years ago
- Code Examples for Data Science for Crime Analysis with Python book☆10Jun 29, 2024Updated last year
- Experiments, snippets and other things related to Binary Ninja☆17Oct 22, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [Mirror] A close reading of the μKanren paper.☆44Jun 14, 2022Updated 3 years ago
- A C11 compiler for the discrete logic computer☆21Apr 3, 2024Updated 2 years ago
- Code for a series of tutorials on SNES development☆48Feb 10, 2022Updated 4 years ago
- An automated approach to the Collatz conjecture☆12Oct 7, 2023Updated 2 years ago
- Continuously variable tenting with 3D printed ball joints.☆20Dec 31, 2021Updated 4 years ago
- toy project to learn about the memory usage of different workloads with different allocators☆10Mar 30, 2023Updated 3 years ago
- ☆23Jan 19, 2023Updated 3 years ago
- Ixnay is a Nix shell wrapper that I'm writing as I learn about Nix and how to do various operations.☆11May 19, 2026Updated 3 weeks ago
- Idris was an operating system developed by Whitesmiths☆34Nov 20, 2021Updated 4 years ago
- AI Agents on 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.
- A WIP Go library for connecting to and getting data from (Braun) Oral-B Bluetooth enabled electric toothbrushes.☆14Apr 18, 2025Updated last year
- C in four functions — ported to plan9☆11Feb 28, 2020Updated 6 years ago
- Simple, lightweight transformers in Fortran☆16Nov 17, 2023Updated 2 years ago
- Spatial efficient monospace font family for programming. Built from code.☆10May 11, 2026Updated last month
- An alternative implementation of the `slice::select_nth_unstable` method with improved speed☆11Jan 1, 2024Updated 2 years ago
- A new declarative programming language☆25Oct 12, 2020Updated 5 years ago
- LD_PRELOADable library for exploring the glibc heap☆108Mar 6, 2025Updated last year
- ☆11Apr 10, 2026Updated 2 months ago
- Prosty konkordancer dla języka polskiego☆18May 8, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- re2 for Java☆28Apr 13, 2015Updated 11 years ago
- ☆10Aug 16, 2019Updated 6 years ago
- Examples of self-modifying x86 linux assembly☆11Dec 20, 2021Updated 4 years ago
- A libretro-inspired system for .NET emulators☆38Updated this week
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- ☆42Aug 4, 2020Updated 5 years ago
- ☆18Apr 10, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The Swift Programming Language☆13Aug 4, 2021Updated 4 years ago
- ☆14Sep 29, 2021Updated 4 years ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 5 years ago
- ☆14Dec 16, 2025Updated 5 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 4 months ago
- Simple Serilog formatter to output Logfmt☆10Jun 17, 2023Updated 2 years ago
- Customers notification service is an example of using DI in a Vert.x based project☆14Jan 15, 2026Updated 4 months ago