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
- [Mirror] A close reading of the μKanren paper.☆44Jun 14, 2022Updated 4 years ago
- A C11 compiler for the discrete logic computer☆21Apr 3, 2024Updated 2 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An automated approach to the Collatz conjecture☆12Oct 7, 2023Updated 2 years ago
- in-process powershell runner for BRC4☆48Oct 31, 2023Updated 2 years ago
- ☆18Oct 1, 2019Updated 6 years ago
- toy project to learn about the memory usage of different workloads with different allocators☆10Mar 30, 2023Updated 3 years ago
- Idris was an operating system developed by Whitesmiths☆34Nov 20, 2021Updated 4 years ago
- Two-Level Type Theory☆31Dec 13, 2019Updated 6 years ago
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Nov 19, 2021Updated 4 years ago
- Simple, lightweight transformers in Fortran☆16Nov 17, 2023Updated 2 years ago
- Spatial efficient monospace font family for programming. Built from code.☆10Updated this week
- 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.
- Commandline tool to generate Cistercian numerals☆45Jul 30, 2022Updated 3 years ago
- ☆17Apr 12, 2025Updated last year
- A new declarative programming language☆25Oct 12, 2020Updated 5 years ago
- A simple LZ77-based compression with fast decompression on 68K and other legacy hardware☆39May 9, 2016Updated 10 years ago
- ☆11Apr 10, 2026Updated 2 months ago
- Prosty konkordancer dla języka polskiego☆18May 8, 2022Updated 4 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- numkey pad based mp3 player☆12Jun 17, 2026Updated 2 weeks ago
- Code for the paper "Stack Attention: Improving the Ability of Transformers to Model Hierarchical Patterns"☆18Mar 15, 2024Updated 2 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.
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- ☆10Aug 16, 2019Updated 6 years ago
- Examples of self-modifying x86 linux assembly☆12Dec 20, 2021Updated 4 years ago
- 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
- The Swift Programming Language☆13Aug 4, 2021Updated 4 years ago
- ☆14Sep 29, 2021Updated 4 years ago
- Personal dotfiles for VoidLinux☆32Sep 5, 2022Updated 3 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.
- self education and historical research of the C++ compiler cfront v3☆16May 11, 2022Updated 4 years ago
- brip stands for Brython's pip. It brings the Python packages ecosystem and the pip-like workflow to Brython-powered projects.☆12Apr 19, 2024Updated 2 years ago
- 🔍 Code Search Tools & Experiments☆12Jun 4, 2026Updated 3 weeks ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 5 months ago
- Simple Serilog formatter to output Logfmt☆10Jun 17, 2023Updated 3 years ago
- Customers notification service is an example of using DI in a Vert.x based project☆14Jan 15, 2026Updated 5 months ago
- Install a package with e.g. `hdn add pkgs.hello`.☆17Jul 31, 2024Updated last year