Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
Dafny is a verification-aware programming language
-
Verified Rust for low-level systems code
-
New Godot bindings for Swift
-
Quill is a modern WYSIWYG editor built for compatibility and extensibility.
-
World's Smallest Nintendo Wii, using a trimmed motherboard and custom stacked PCBs
-
Fast and secure translation on your local machine, powered by marian and Bergamot.
-
💾 An API to get a Google Sheet as JSON, no authentication required.
-
Parallel OS, with GUI, Terminal, OO Assembler, Class libraries, C-Script compiler, Lisp interpreter and more...
-
A Swift toolchain installer and manager, written in Swift.
-
Terminal-based CPU stress and monitoring utility