-
-
-
Samir-Rashid.github.io Public
Forked from academicpages/academicpages.github.ioSamir Rashid's personal website
HTML MIT License UpdatedJul 29, 2026 -
-
-
ringfairy Public
Forked from pink10000/ringfairyold🧚 Static webring generator in Rust
Rust GNU General Public License v3.0 UpdatedMay 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
Typst Apache License 2.0 UpdatedSep 13, 2025 -
-
-
-
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 -
-
-
{{ message }}