Josh Junon Qix-
Sponsors
Highlights
Block or Report
Block or report Qix-
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
🦀 How to minimize Rust binary size 📦
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
Microkernel and userspace written in Rust exploring modern ideas
Windows System Call Tables (NT/2000/XP/2003/Vista/7/8/10/11)
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Common Expression Language interpreter written in Rust
Collaborative development of openiBoot for the iDroid Project
A web browser that plays old world blues to build new world hope
An introduction to ARM64 assembly on Apple Silicon Macs
An easy-to-use program that transcribes text or audio files into a sign language animation. JamHacks7 2023 Best Overall and Best use of GitHub.
[I3D 2024] Deblur-GS: 3D Gaussian Splatting from Camera Motion Blurred Images
Dafny is a verification-aware programming language
Fast and secure translation on your local machine, powered by marian and Bergamot.
A shader EDSL for writing render and compute pipelines in rust
A configurable RTL to bitstream FPGA toolchain
Low cost, low effort P2P WebRTC serverless signalling using Cloudflare Workers
notes, honeypot, and exploit demo for the xz backdoor (CVE-2024-3094)
Universal local privilege escalation Proof-of-Concept exploit for CVE-2024-1086, working on most Linux kernels between v5.14 and v6.6, including Debian, Ubuntu, and KernelCTF. The success rate is 9…
Generate images of code and terminal output 📸
An idiomatic, lean, fast & safe pure Rust implementation of Git
Enhancing the Factorio experience with SAT solvers