-
vellvm Public
Forked from vellvm/vellvmThe Vellvm (Verified LLVM) coq development.
LLVM Other UpdatedSep 22, 2025 -
verus Public
Forked from verus-lang/verusVerified Rust for low-level systems code
Rust MIT License UpdatedSep 3, 2025 -
verusfmt Public
Forked from verus-lang/verusfmtAn Opinionated Formatter for Verus
Rust MIT License UpdatedJun 9, 2025 -
kani Public
Forked from model-checking/kaniKani Rust Verifier
Rust Apache License 2.0 UpdatedApr 22, 2025 -
paralegal Public
Forked from brownsys/paralegalStatically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can signup for our official release at the link below
Rust MIT License UpdatedApr 21, 2025 -
bytes Public
Forked from tokio-rs/bytesUtilities for working with bytes
Rust MIT License UpdatedFeb 20, 2025 -
flowistry Public
Forked from willcrichton/flowistryFlowistry is an IDE plugin for Rust that helps you focus on relevant code.
Rust MIT License UpdatedFeb 10, 2025 -
rustc_plugin Public
Forked from cognitive-engineering-lab/rustc_pluginA framework for writing plugins that integrate with the Rust compiler
Rust MIT License UpdatedFeb 6, 2025 -
rsofaer.github.io Public
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedFeb 1, 2025 -
-
-
spacer-on-jupyter Public
Forked from agurfinkel/spacer-on-jupyterJupyter Notebook MIT License UpdatedMay 11, 2023 -
pi-forall Public
Forked from sweirich/pi-forallA demo implementation of a simple dependently-typed language
Haskell MIT License UpdatedMay 9, 2023 -
ODGen Public
Forked from Song-Li/ODGenODGen is a tool to detect multiple types of vulnerabilities in Node.js packages.
Python UpdatedAug 18, 2022 -
-
DoubleX Public
Forked from Aurore54F/DoubleXStatically Detecting Vulnerable Data Flows in Browser Extensions at Scale
Python GNU Affero General Public License v3.0 UpdatedJun 13, 2022 -
-
template-proofs Public
Forked from nyu-acsys/template-proofsArtifact for PLDI'20 paper: Verifying Concurrent Search Structure Templates.
Coq Other UpdatedMar 11, 2021 -
nanomunchers_js Public
Javascript version of nanomunchers for Dr. Ecco
-
Cataclysm-DDA Public
Forked from CleverRaven/Cataclysm-DDACataclysm - Dark Days Ahead. A fork/variant of Cataclysm Roguelike by Whales.
C++ Other UpdatedOct 20, 2016 -
-
notes Public
Forked from wdi-sf-jan-2014/notesA repository for lecture notes and gists
JavaScript UpdatedMar 13, 2014 -
backbone Public
Forked from jashkenas/backboneGive your JS App some Backbone with Models, Views, Collections, and Events
JavaScript MIT License UpdatedMar 3, 2014 -
-
wdi6_cook_book_auth_final Public
Forked from aikalima/wdi6_cook_book_auth_final -
diaspora Public
Forked from diaspora/diasporaDistributed and contextual social networking
Ruby Other UpdatedJan 27, 2014 -
-
-
-
{{ message }}