Starred Repositories
Browse starred repositories
Sort: Recently starred
-
HTTP web applications for Vert.x
-
Java extension for the eglot LSP client
-
Kernel TLS on Java
-
The Mojo Programming Language
-
Reformats Java source code to comply with Google Java Style.
-
Java type safe statically compiled mustache
-
Classify dog breeds and bird species through frigate mqtt events
-
The missing Wayland protocols for features that are available in X11 (but are denied by the official Wayland protocols)
-
Bi-directional synchronization between services such as Taskwarrior, Google Calendar, Notion, Asana, and more
-
🔥 Command-line tool to delete merged Git branches
-
OpenConnect proxy
-
CLIze: Turn Python functions into command-line interfaces
-
REPL protocol for the dumb terminal
-
Stylish top panel that holds indicators and spawns an application launcher
-
Unobtrusively trim extraneous white-space *ONLY* in lines edited.
-
Reimplementation of Elisp generators
-
Planetfall, by Steve Meretzky (Infocom)
-
Runtime polymorphism done right
-
Optimised tools for group-indexing operations: aggregated sum and more
-
Python3 compatible wrapper for RE2
-
An experimental GNU make clone
-
🍦 micro framework for building view based modular Android applications.
-
Native code loader for Android
-
A more swanky replacement for good old jdb
-
A character creator for my friend's unpublished tabletop RPG
-
Immutable persistent data collections for Javascript which increase efficiency and simplicity.
-
The seL4 microkernel
-
TC39 meeting agendas
-
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.
-
Rich IPC friendly SQLite API for Android