Samir-Rashid/nixos
second generation nix configuration
Repositories
Samir-Rashid/sctp-playground
Samir-Rashid/Samir-Rashid.github.io
Samir Rashid's personal website
Samir-Rashid/picnic-ui
Samir-Rashid/ms-thesis
Samir-Rashid/ringfairy
🧚 Static webring generator in Rust
Samir-Rashid/gathering
Samir-Rashid/jerukan.github.io
Samir-Rashid/magma
Platform for building access networks and modular network services
Samir-Rashid/verus-tock
Samir-Rashid/resume
rewrite of my CV in typst
Samir-Rashid/pcap-diff
Visually compare pcaps
Samir-Rashid/toggl-gnome-taskbar
Samir-Rashid/toniq
Samir-Rashid/verus
Verified Rust for low-level systems code
Samir-Rashid/smartclip
Intelligent wearable hairclip
Samir-Rashid/Triton-Schedule
Converts a UCSD WebReg schedule and the official UCSD Academic Calendar to a .ICS file. A fork of Schtoics.
Samir-Rashid/binary-room
Binary translator from RISC-V to ARM written in Rust
Samir-Rashid/Samir-Rashid
Samir-Rashid/nixpkgs
Nix Packages collection & NixOS
Samir-Rashid/osfc24-tockos-lightweight-verification
https://godsped.com/safe-firmware/
Samir-Rashid/pytrail
VSCode extension to profile Python code as you develop
Samir-Rashid/tock-benchmark
Samir-Rashid/flux
Refinement Types for Rust
Samir-Rashid/tock
A secure embedded operating system for microcontrollers
Samir-Rashid/nix-config
Samir-Rashid/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
Samir-Rashid/OpenSK
OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.