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
- DEPRECATED☆14Sep 1, 2022Updated 3 years ago
- A set of utilities/wrapper for Test Automation or Performance testing on top of Chrome DevTools Protocol☆12Feb 18, 2024Updated 2 years ago
- Codec2 for Cortex-M4F☆23Sep 18, 2013Updated 12 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.
- For automatic trading on the stock exchange☆11Apr 17, 2018Updated 8 years ago
- [Mirror] A close reading of the μKanren paper.☆44Jun 14, 2022Updated 3 years ago
- An easy to use physics engine for games☆16Nov 8, 2017Updated 8 years ago
- 8 mbyte RAM for micropython☆14Oct 29, 2020Updated 5 years ago
- ☆17Feb 10, 2026Updated 3 months ago
- Speex codec component for ESP32 ESP-IDF☆17Feb 22, 2024Updated 2 years ago
- A C11 compiler for the discrete logic computer☆21Apr 3, 2024Updated 2 years ago
- ☆13Jul 23, 2020Updated 5 years ago
- 野火STM32H743 挑战者开发板 教程配套代码☆16Sep 2, 2020Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆15Dec 30, 2021Updated 4 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- Jetpack compose country code picker (CCP) is an android library which provides an easy way to search and select country or international …☆16Feb 10, 2023Updated 3 years ago
- Calibre Plugin to download metadata and covers from DNB (Deutsche Nationalbibliothek)☆12Feb 9, 2026Updated 3 months ago
- Option pricing using Black-Scholes model, Bachelier model, Binomial Trees and Monte Carlo simulation under different stochastic processes☆19Jul 24, 2022Updated 3 years ago
- zx spectrum 128 emulator on stm32f407☆20Dec 20, 2020Updated 5 years ago
- An automated approach to the Collatz conjecture☆12Oct 7, 2023Updated 2 years ago
- A curated list of awesome automatic Python binding generators for C++ projects☆27May 11, 2026Updated 2 weeks ago
- Ixnay is a Nix shell wrapper that I'm writing as I learn about Nix and how to do various operations.☆11Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Baremetal LVGL demo on Lichee Nano☆23Feb 14, 2021Updated 5 years ago
- ☆19Jul 23, 2020Updated 5 years ago
- Two-Level Type Theory☆31Dec 13, 2019Updated 6 years ago
- A WIP Go library for connecting to and getting data from (Braun) Oral-B Bluetooth enabled electric toothbrushes.☆14Apr 18, 2025Updated last year
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Nov 19, 2021Updated 4 years ago
- Find Device Location by using phone number☆17Dec 8, 2022Updated 3 years ago
- Project for testing and developing my libraries☆24Apr 12, 2016Updated 10 years ago
- Spatial efficient monospace font family for programming. Built from code.☆10May 11, 2026Updated last week
- Commandline tool to generate Cistercian numerals☆45Jul 30, 2022Updated 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.
- An alternative implementation of the `slice::select_nth_unstable` method with improved speed☆11Jan 1, 2024Updated 2 years ago
- ☆17Apr 12, 2025Updated last year
- A new declarative programming language☆25Oct 12, 2020Updated 5 years ago
- ☆11Apr 10, 2026Updated last month
- rev.ng configuration for orchestra. The starting point for any development.☆36Updated this week
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- GNSS Tracker For STM32 Primer2☆31Dec 23, 2025Updated 5 months ago