-
Inria
- Paris, France
-
21:22
(UTC +02:00)
Stars
The first game written and played entirely in Rust's type system. Not only do you play by writing Rust code, but the rules of the game are enforced by the Rust compiler. If you can write the progra…
🔮 A lightweight comments widget built on GitHub issues
A commenting system powered by GitHub Discussions. 💬 💎
Nix-enabled environment for your Android device. [maintainers=@t184256,@Gerschtli]
A tool to help with minimization of Rust code
"Generic generics" / higher-kinded APIs in stable Rust.
Your project’s nix-env [maintainer=@Profpatsch,@nyarly]
Rust crate for writing repetitive code easier and faster.
Browser extension that simplifies the GitHub interface and adds useful features
A precise specification for "Rust lite / MIR plus"
list of projects and implementations in the AT protocol ecosystem
Downloads and provides debug symbols and source code for nix derivations to gdb and other debuginfod-capable debuggers as needed.
Parse strings using a specification based on the Python format() syntax.
Tree Style Tab, Show tabs like a tree.
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://logseq.io/p/NX4mc_ggEV
🐍 An improved Python library to control i3wm and sway.
A syntax-highlighting pager for git, diff, grep, rg --json, and blame output
The swiss army knife of lossless video/audio editing
rust-analyzer extension for coc.nvim
A solid language pack for Vim.