Pinned Repositories
dhall-lang
The non-repetitive alternative to YAML
dhall-rust
Maintainable configuration files, for Rust users
github-status
A dashboard to track GitHub issues & PRs
improved_slice_patterns
Match on `Vec`s and iterators using the syntax of slice_patterns, taking ownership
nixos-deploy
A remote deployment tool for NixOS systems
pest_consume
A framework for processing the output of a pest-generated parser
taffybar-config
typing-rust-patterns
xmonad-config
Custom xmonad config and libs
Nadrieril's Repositories
Nadrieril/dhall-rust
Maintainable configuration files, for Rust users
Nadrieril/pest_consume
A framework for processing the output of a pest-generated parser
Nadrieril/nixos-deploy
A remote deployment tool for NixOS systems
Nadrieril/typing-rust-patterns
Nadrieril/github-status
A dashboard to track GitHub issues & PRs
Nadrieril/aeneas
A verification toolchain for Rust programs
Nadrieril/charon
Interface with the rustc compiler for the purpose of program verification
Nadrieril/derive-visitor
Nadrieril/effing-mad
Algebraic effects for Rust
Nadrieril/eurydice
Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
Nadrieril/graphical-algebra
Nadrieril/hax
A Rust verification tool
Nadrieril/inquire
A Rust library for building interactive prompts
Nadrieril/keyboard-layout
Nadrieril/libcrux
The formally verified crypto library for Rust
Nadrieril/match-ergonomics-formality
This tool formalizes the operation of match ergonomics.
Nadrieril/nix-script
write scripts in compiled languages that run in the nix ecosystem, with no separate build step
Nadrieril/nomicon
The Dark Arts of Advanced and Unsafe Rust Programming
Nadrieril/rfcs
RFCs for changes to Rust
Nadrieril/rust
Empowering everyone to build reliable and efficient software.
Nadrieril/rust-analyzer
A Rust compiler front-end for IDEs
Nadrieril/rust-lang-team
Rust teams structure
Nadrieril/rust-project-goals
Rust Project Goals tracker
Nadrieril/rustc-auto-publish
Nadrieril/rustc-dev-guide
A guide to how rustc works and how to contribute to it.
Nadrieril/rustc-perf
Website for graphing performance of rustc
Nadrieril/specification
Ferrocene Language Specification
Nadrieril/split-online-orders
Nadrieril/tracing-tree
Nadrieril/type-walker
Rust library for walking through a type in iterator-fashion