Stars
A new markup-based typesetting system that is powerful and easy to learn.
A mega collection of all resources and news related to Stable Diffusion. Focused around AUTOMATIC1111's webui (https://github.com/AUTOMATIC1111/stable-diffusion-webui)
A Rust-based re-write of the Stockfish Chess Engine
An experimental chessboard widget for Relm/GTK
A Rust library to probe Syzygy endgame tablebases
A Rust library for chess and chess variant rules and operations
Collection of "wat" moments in various languages
Cross-platform Rust rewrite of the GNU coreutils
Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.
Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
A simple version control system built on top of Git
A Programming Language for Deep Learning
Roboragi is a Reddit bot which helps link anime, manga, and other Japanese media.
Empowering everyone to build reliable and efficient software.