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 11 months ago
- ESP-IDF Port of littlevgl supporting st7789☆14Oct 19, 2019Updated 6 years ago
- [Mirror] A close reading of the μKanren paper.☆43Jun 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
- A C11 compiler for the discrete logic computer☆21Apr 3, 2024Updated last year
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- This is a MP3 player for STM32F4 Discovery Board.☆19Dec 25, 2015Updated 10 years ago
- An automated approach to the Collatz conjecture☆12Oct 7, 2023Updated 2 years ago
- toy project to learn about the memory usage of different workloads with different allocators☆10Mar 30, 2023Updated 2 years ago
- ☆22Jan 19, 2023Updated 3 years ago
- Two-Level Type Theory☆28Dec 13, 2019Updated 6 years ago
- Ixnay is a Nix shell wrapper that I'm writing as I learn about Nix and how to do various operations.☆11Jan 7, 2026Updated 2 months ago
- Idris was an operating system developed by Whitesmiths☆33Nov 20, 2021Updated 4 years ago
- A WIP Go library for connecting to and getting data from (Braun) Oral-B Bluetooth enabled electric toothbrushes.☆14Apr 18, 2025Updated 11 months ago
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Nov 19, 2021Updated 4 years ago
- Automatically exported from code.google.com/p/libsum☆12Mar 19, 2015Updated 11 years ago
- Simple, lightweight transformers in Fortran☆17Nov 17, 2023Updated 2 years ago
- Communicate with 2.9" Waveshare ePaper Module using SPI interface of ESP32 and ESP-IDF or Arduino☆24Dec 30, 2017Updated 8 years ago
- Spatial efficient monospace font family for programming. Built from code.☆10Mar 2, 2026Updated 3 weeks ago
- Commandline tool to generate Cistercian numerals☆45Jul 30, 2022Updated 3 years ago
- ☆17Apr 12, 2025Updated 11 months 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
- A simple LZ77-based compression with fast decompression on 68K and other legacy hardware☆39May 9, 2016Updated 9 years ago
- ☆10Mar 18, 2026Updated last week
- Prosty konkordancer dla języka polskiego☆18May 8, 2022Updated 3 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- ESP32 Audio Development Framework development board☆34Oct 4, 2021Updated 4 years ago
- numkey pad based mp3 player☆13Dec 12, 2025Updated 3 months ago
- Code for the paper "Stack Attention: Improving the Ability of Transformers to Model Hierarchical Patterns"☆18Mar 15, 2024Updated 2 years ago
- ☆14Sep 16, 2022Updated 3 years ago
- ☆10Aug 16, 2019Updated 6 years ago
- re2 for Java☆27Apr 13, 2015Updated 10 years ago
- Examples of self-modifying x86 linux assembly☆11Dec 20, 2021Updated 4 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 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 last year