MinusGix's repositories
lapce-copilot
An unofficial Github Copilot extension for Lapce
bevy
A refreshingly simple data-driven game engine built in Rust
Apache-2.0000
cosmic-text
Pure Rust multi-line text handling
Language:RustApache-2.0000
creusot
Creusot helps you prove your code is correct in an automated fashion.
Language:RustLGPL-2.1000
Language:RustMIT000
FreeTube
An Open Source YouTube app for privacy
Language:JavaScriptAGPL-3.0000
iris-lean
Lean 4 port of Iris, a higher-order concurrent separation logic framework
Language:LeanApache-2.0000
lapce-volt-template
Template repository for making Lapce plugins
Apache-2.0000
Language:Rust000
paperlib
An open-source academic paper management tool.
GPL-3.0000
PaperWM
Tiled scrollable window management for Gnome Shell
Language:JavaScriptGPL-3.0000
resvg
An SVG rendering library.
MPL-2.0000
s-concepts
Simple graydient concepts scraper + viewer
vbsp
Rust parser for valve bsp files
Language:RustMIT000
vger-rs
2D GPU renderer for dynamic UIs
Language:RustMIT000
wasi-experimental-http
Experimental outbound HTTP support for WebAssembly and WASI
MIT000
zbus
Rust D-Bus crate.
Language:RustNOASSERTION000