Skip to content
View Risc42's full-sized avatar

Block or report Risc42

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Collaborative Collection of C++ Best Practices. This online resource is part of Jason Turner's collection of C++ Best Practices resources. See README.md for more information.

8,766 909 Updated Aug 6, 2024
JavaScript 31 5 Updated Jun 4, 2026

An awesome list for niri related projects [Maintainer - @Vortriz]

Nix 1,258 41 Updated Jun 2, 2026

simple terminal UI for git commands

Go 79,404 2,870 Updated Jun 17, 2026

A lightweight utility to modify trackpad behavior on Linux.

C++ 74 9 Updated Mar 10, 2026
Rust 15 3 Updated Apr 20, 2026

Keymini, a minimalist ergonomic keyboard.

Rust 23 2 Updated Mar 10, 2026

A hyperparameter optimization framework

Python 14,366 1,343 Updated Jun 17, 2026

A command-line tool designed to scan Minecraft Java Edition world data.

Rust 7 2 Updated Jul 5, 2025

A safe Rust wrapper for FastNoise2, a node-based noise generation library optimized with SIMD.

Rust 13 3 Updated Jan 21, 2026
Rust 3 Updated Feb 20, 2026

A sleek and minimal desktop shell thoughtfully crafted for Wayland.

C++ 7,865 555 Updated Jun 18, 2026

Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, labwc, and MiracleWM.

QML 6,896 418 Updated Jun 18, 2026

A refreshingly simple data-driven game engine built in Rust

Rust 46,670 4,630 Updated Jun 18, 2026

Revival of Jacob's revival of Baskerville's typeface designed by ANRT students in 2017-2018.

176 3 Updated Jun 16, 2026

A modern, clean and customizable resume template in Typst.

Typst 10 2 Updated Jun 7, 2026

AstroNvim is an aesthetic and feature-rich neovim config that is extensible and easy to use with a great set of plugins

Lua 14,351 953 Updated May 11, 2026

Visual Studio Code extension for Coq

OCaml 455 106 Updated Jun 18, 2026

Mathematical Components

Rocq Prover 685 132 Updated Jun 17, 2026

the predecessor to nix-wrapper-modules#neovim

Nix 701 24 Updated Apr 27, 2026

Modular, extensible and distro-agnostic Neovim configuration framework for Nix/NixOS

Nix 1,534 225 Updated Jun 16, 2026
C 1 Updated Dec 2, 2025

Neovim client for coq-lsp

Lua 30 5 Updated May 3, 2026

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

OCaml 205 57 Updated Jun 3, 2026

Interactive Coq Proofs in Vim

Python 323 44 Updated May 16, 2026

lints and suggestions for the nix programming language

Rust 913 38 Updated Jun 13, 2026

Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.

Lua 3,813 104 Updated Jun 18, 2026

Flexible toolkit for making desktop shells with QtQuick, for Wayland and X11

C++ 2,574 150 Updated Jun 10, 2026

Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid [maintainers=@0xda157, @danth, @trueNAHO]

Nix 2,303 340 Updated Jun 9, 2026
Next