Starred repositories
openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.
Blazing fast Rust solutions for every Advent of Code puzzle from 2015 to 2025, solving 524 stars in less than 1 second.
jless is a command-line JSON viewer designed for reading, exploring, and searching through JSON data.
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
Control Neovim from shells running inside Neovim.
UNIX-like reverse engineering framework and command-line toolset
A massively parallel, optimal functional runtime in Rust
A markup-based typesetting system that is powerful and easy to learn.
Tools for generating and managing steno dictionaries
Library for modeling, simulation, and verification of interacting autonomous agents
caksoylar / keymap
Forked from callum-oakley/keymap-oldKeymap visualizer with hold-taps and combos
*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
A userscript for MPV that allows you to change youtube video quality (ytdl-format) on the fly
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
A tiny shell for Pico and Pico2, with file system, Vi and C compiler
😸 Soothing pastel theme for the high-spirited!
A feature-rich command-line audio/video downloader
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
A jq clone focussed on correctness, speed, and simplicity
A python parametric CAD scripting framework based on OCCT
Command-line program to download videos from YouTube.com and other video sites