sameer gupta's repositories
a-mir-formality
a model of MIR and the Rust type/trait system
bao-hypervisor
Bao, a Lightweight Static Partitioning Hypervisor
cachix-action
Build software only once and put it in a global cache
gateway-rs
The Helium Gateway
git-novice
Version Control with Git
github-actions-dhall
Typecheck, template and modularize your Github Action definitions with Dhall
hoice
An ICE-based predicate synthesizer for Horn clauses.
kcidb
kernelci.org common database tools
melpa
Recipes and build machinery for the biggest Emacs package repo
nix-types
nix-types | type hints for nix
opendp
The core library of differential privacy algorithms powering the OpenDP Project.
PornOS
A custom kernel for educational reasons!
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
RCIG_Coordination_Repo
A Coordination repo for all things Rust Cryptography oriented
rice-config
A Nix flake for Emacs Lisp CI configuration
riscv-opcodes
RISC-V Opcodes
rrs
Rust RISC-V Simulator
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
skyflake
NixOS Hyperconverged Infrastructure on Nomad/NixOS
stage0
A set of minimal dependency bootstrap binaries
tsnsrv
A reverse proxy that exposes services on your tailnet (as their own tailscale participants)
twist.nix
Build an entire Emacs configuration as a Nix package in a pure, reproducible way
VerifAI
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
wip-nuttx-apps
(Work-in-Progress for SG2000, Ox64, Star64 and PinePhone) Apache NuttX Apps is a collection of tools, shells, network utilities, libraries, interpreters and can be used with the NuttX RTOS