Skip to content
View sydgibs's full-sized avatar
65 followers · 5 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Organizations

@FStarLang @mit-pdos @project-everest

Block or report sydgibs

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

tock / tock

A secure embedded operating system for microcontrollers

Rust 5,435 698 Updated Nov 1, 2024

hwayne / lets-prove-leftpad

Proving leftpad correct two-dozen different ways

SystemVerilog 647 61 Updated Feb 5, 2024

lowRISC / opentitan

OpenTitan: Open source silicon root of trust

SystemVerilog 2,568 766 Updated Nov 3, 2024

mit-pdos / perennial

Verifying concurrent crash-safe systems

Coq 160 33 Updated Nov 2, 2024

mit-pdos / cspec

Verifying concurrent code with layers and movers

Coq 12 1 Updated Feb 18, 2020

kryptco / kr

DEPRECATED A dev tool for SSH auth + Git commit/tag signing using a key stored in Krypton.

Go 1,587 109 Updated Nov 7, 2023