-
kani Public
Forked from model-checking/kaniContributor fork. Please see the upstream repository.
Rust Apache License 2.0 UpdatedDec 10, 2025 -
rust_project_template Public
A base for me to use as the starting point of my projects written in Rust.
Rust Apache License 2.0 UpdatedDec 10, 2025 -
patina-devops Public
Forked from OpenDevicePartnership/patina-devopsContributor fork. Please see the upstream repository.
Nunjucks Apache License 2.0 UpdatedDec 4, 2025 -
dandelifeon Public
Using swarm intelligence to find optimal solutions to the Dandelifeon in Botania.
Rust Apache License 2.0 UpdatedDec 3, 2025 -
halloy Public
Forked from squidowl/halloyContributor fork. Please see the upstream repository.
Rust GNU General Public License v3.0 UpdatedDec 2, 2025 -
patina Public
Forked from OpenDevicePartnership/patinaContributor fork. Please see the upstream repository.
Rust Apache License 2.0 UpdatedNov 26, 2025 -
safety-critical-rust-consortium-rfcs Public
Forked from rustfoundation/safety-critical-rust-consortium-rfcsContributor fork. Please see the upstream repository.
Apache License 2.0 UpdatedNov 23, 2025 -
discovery-mb2 Public
Forked from rust-embedded/discovery-mb2Fork of the Embedded Rust Discovery Book for me to track my work.
Rust Other UpdatedSep 27, 2025 -
robots.txt Public
Forked from ai-robots-txt/ai.robots.txtMy personal list of AI agents and robots to block.
MIT License UpdatedAug 25, 2025 -
servo Public
Forked from servo/servoContributor fork. Please see the upstream repository.
Rust Mozilla Public License 2.0 UpdatedJun 10, 2025 -
pyMHF Public
Forked from monkeyman192/pyMHFContributor fork. Please see the upstream repository.
Python MIT License UpdatedMay 31, 2025 -
coreutils Public
Forked from uutils/coreutilsContributor fork. Please see the upstream repository.
Rust MIT License UpdatedMay 31, 2025 -
rand Public
Forked from rust-random/randContributor fork. Please see the upstream repository.
Rust Other UpdatedMay 31, 2025 -
AppVerifier Public
Forked from soupslurpr/AppVerifierContributor fork. Please see the upstream repository.
-
hack-assembler Public
An assembler that translates programs written in the Hack assembly language into Hack binary code.
-
-
refactoring-practice Public
Refactoring the Gilded Rose problem in Rust.
Rust MIT License UpdatedApr 27, 2025 -
hack-vm-translator Public
A VM translator that parses Hack VM commands and generates Hack assembly.
Rust GNU Affero General Public License v3.0 UpdatedApr 18, 2025 -
cargo-geiger Public
Forked from geiger-rs/cargo-geigerContributor fork. Please see the upstream repository.
Rust UpdatedApr 14, 2025 -
helix Public
Forked from helix-editor/helixContributor fork. Please see the upstream repository.
Rust Mozilla Public License 2.0 UpdatedApr 9, 2025 -
EllipticCurveCryptography Public
An exploration of Elliptic Curve cryptography I did for the January 2025 Independent Study Project, with guidance from Professor McDonald. Do not use this in production - it is for educational purp…
Java UpdatedMar 30, 2025 -
Liminal Public
An end-to-end encrypted instant messenger application written in Java, for fun and educational purposes! Don't actually use me!
Java BSD 3-Clause Clear License UpdatedMar 20, 2025 -
PUNCHCARD Public
A command-line utility for determining self-reported work hours.
C GNU Affero General Public License v3.0 UpdatedMar 20, 2025 -
privacyguides.org Public
Forked from privacyguides/privacyguides.orgContributor fork. Please see the upstream repository.
Markdown Creative Commons Attribution Share Alike 4.0 International UpdatedFeb 7, 2025
{{ message }}