Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr
☆17Mar 23, 2022Updated 3 years ago
Alternatives and similar repositories for px1000cr
Users that are interested in px1000cr are comparing it to the libraries listed below
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 10 months ago
- An automated approach to the Collatz conjecture☆12Oct 7, 2023Updated 2 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- [Mirror] A close reading of the μKanren paper.☆43Jun 14, 2022Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- A C11 compiler for the discrete logic computer☆21Apr 3, 2024Updated last year
- ☆22Jan 19, 2023Updated 3 years ago
- A new declarative programming language☆25Oct 12, 2020Updated 5 years ago
- Idris was an operating system developed by Whitesmiths☆32Nov 20, 2021Updated 4 years ago
- Osmocom implementation of 3GPP Mobile Swtiching Centre (MSC); mirrored from https://gitea.osmocom.org/cellular-infrastructure/osmo-msc☆40Jan 26, 2026Updated last month
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- Python module to access the Fermilab Control System☆10Aug 19, 2025Updated 6 months ago
- A set of utilities/wrapper for Test Automation or Performance testing on top of Chrome DevTools Protocol☆12Feb 18, 2024Updated 2 years ago
- A simple LZ77-based compression with fast decompression on 68K and other legacy hardware☆39May 9, 2016Updated 9 years ago
- Commandline tool to generate Cistercian numerals☆45Jul 30, 2022Updated 3 years ago
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- ☆12Nov 22, 2024Updated last year
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated last month
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- Pong game written in the boot sector☆38Jan 26, 2026Updated last month
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- Replica of MK-61 programmable calculator is based on a cycle-accurate model of legacy ICs running on a modern microcontroller.☆43Nov 24, 2023Updated 2 years ago
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Jan 23, 2026Updated last month
- Baremetal softwares for TrivialMIPS platform☆11Aug 12, 2019Updated 6 years ago
- Carpet fractal genetic algorithm☆13Oct 4, 2017Updated 8 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- ☆13Dec 16, 2025Updated 2 months ago
- Simulator of an IBM System/360 Model 50☆51Apr 6, 2022Updated 3 years ago
- Filesystem browser written in RapidApp☆11Oct 26, 2020Updated 5 years ago
- Implementation of CoAP Server & Client in Go by @Kistler-Group☆13Jun 22, 2021Updated 4 years ago
- Implementing CIFS (SMB) protocol in Perl☆14Aug 30, 2018Updated 7 years ago
- ☆10Aug 25, 2020Updated 5 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago