Skip to content
View Nadrieril's full-sized avatar
  • Inria
  • Paris, France
  • 21:22 (UTC +02:00)

Sponsoring

@CleanCut

Organizations

@NixOS @Faerix @rust-lang @dhall-lang @rust-analyzer @AeneasVerif

Block or report Nadrieril

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

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…

Rust 351 11 Updated Mar 2, 2026

🔮 A lightweight comments widget built on GitHub issues

TypeScript 9,664 594 Updated Aug 15, 2024

A commenting system powered by GitHub Discussions. :octocat: 💬 💎

TypeScript 11,682 468 Updated Jul 6, 2025

Nix-enabled environment for your Android device. [maintainers=@t184256,@Gerschtli]

Nix 2,040 149 Updated Mar 1, 2026

A repository of random stuff

HTML 15 25 Updated Jan 20, 2026

A tool to help with minimization of Rust code

Rust 68 9 Updated Oct 17, 2025

"Generic generics" / higher-kinded APIs in stable Rust.

Rust 20 3 Updated Dec 8, 2025

An advanced keyboard manager

Haskell 4,981 336 Updated May 15, 2026

Algebraic effects for Rust

Rust 661 21 Updated Jun 30, 2024

Your project’s nix-env [maintainer=@Profpatsch,@nyarly]

Go 861 27 Updated Apr 29, 2026

Rust crate for writing repetitive code easier and faster.

Rust 45 3 Updated Jan 3, 2023
JavaScript 1 Updated Jan 19, 2024

:octocat: Browser extension that simplifies the GitHub interface and adds useful features

TypeScript 31,344 1,756 Updated May 17, 2026

A precise specification for "Rust lite / MIR plus"

Rust 989 49 Updated May 8, 2026

The Little Book of Rust Macros (updated fork)

HTML 919 109 Updated Jan 23, 2026

list of projects and implementations in the AT protocol ecosystem

367 43 Updated May 12, 2023

Downloads and provides debug symbols and source code for nix derivations to gdb and other debuginfod-capable debuggers as needed.

Rust 114 5 Updated Dec 31, 2025

Parse strings using a specification based on the Python format() syntax.

Python 1,786 105 Updated May 2, 2026

Tree Style Tab, Show tabs like a tree.

JavaScript 3,756 298 Updated May 17, 2026

Shake build system

Haskell 798 125 Updated Jan 19, 2026

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

Clojure 42,925 2,628 Updated May 17, 2026

🐍 An improved Python library to control i3wm and sway.

Python 892 111 Updated Jan 28, 2024

A tool for ad hoc profiling

Rust 348 11 Updated Apr 20, 2026

Rust programming, in French.

Rust 1,760 217 Updated Nov 6, 2025

A syntax-highlighting pager for git, diff, grep, rg --json, and blame output

Rust 30,819 533 Updated Mar 28, 2026

The swiss army knife of lossless video/audio editing

TypeScript 40,487 1,957 Updated May 10, 2026

rust-analyzer extension for coc.nvim

TypeScript 1,153 47 Updated May 12, 2026

Print documents in echo area.

Vim Script 578 29 Updated Nov 27, 2022

A solid language pack for Vim.

Vim Script 5,712 308 Updated Aug 27, 2025
Next