Samir-Rashid
Follow
Highlights
- Pro
-
Samir-Rashid.github.io Public
Forked from academicpages/academicpages.github.ioSamir Rashid's personal website
HTML MIT License UpdatedMar 3, 2026 -
gathering Public
Forked from pink10000/gatheringRust GNU General Public License v3.0 UpdatedFeb 3, 2026 -
magma Public
Forked from magma/magmaPlatform for building access networks and modular network services
C++ Other UpdatedJan 19, 2026 -
jerukan.github.io Public
Forked from jerukan/jerukan.github.ioHTML MIT License UpdatedDec 12, 2025 -
-
resume Public
Forked from yunanwg/brilliant-CVrewrite of my CV in typst
-
-
-
-
verus Public
Forked from verus-lang/verusVerified Rust for low-level systems code
Rust MIT License UpdatedJun 3, 2025 -
-
binary-room Public
Binary translator from RISC-V to ARM written in Rust
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedMar 9, 2025 -
libtock-c Public
Forked from tock/libtock-cUserland apps for Tock written in C and C++
C Apache License 2.0 UpdatedDec 6, 2024 -
A secure embedded operating system for microcontrollers
Rust Other UpdatedDec 6, 2024 -
flux Public
Forked from flux-rs/fluxRefinement Types for Rust
Rust MIT License UpdatedNov 20, 2024 -
smartclip Public
Intelligent wearable hairclip
-
-
-
https://godsped.com/safe-firmware/
-
liquid-fixpoint Public
Forked from ucsd-progsys/liquid-fixpointHorn Clause Constraint Solving for Liquid Types
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 4, 2024 -
OpenSK Public
Forked from google/OpenSKOpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.
Rust Apache License 2.0 UpdatedSep 3, 2024 -
-
-
-
libtock-rs Public
Forked from tock/libtock-rsRust userland library for Tock
Rust Apache License 2.0 UpdatedJan 12, 2024 -
pytrail Public
VSCode extension to profile Python code as you develop
-
slouch-stoppah Public
Forked from lnenad/slouch-stoppahA simple way to stay upright
JavaScript MIT License UpdatedNov 18, 2023 -
-
Triton-Schedule Public archive
Forked from isaiahtx/SchtoicsConverts a UCSD WebReg schedule and the official UCSD Academic Calendar to a .ICS file. A fork of Schtoics.
Python GNU General Public License v3.0 UpdatedMay 12, 2021