-
verus Public
Forked from verus-lang/verusVerified Rust for low-level systems code
Rust MIT License UpdatedJan 16, 2026 -
-
-
jolt-verified Public
Forked from a16z/joltverus + jolt
Rust Apache License 2.0 UpdatedDec 17, 2025 -
-
CheatSheetSeries Public
Forked from OWASP/CheatSheetSeriesThe OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.
Python Creative Commons Attribution Share Alike 4.0 International UpdatedOct 25, 2025 -
verusfmt Public
Forked from verus-lang/verusfmtAn Opinionated Formatter for Verus
Rust MIT License UpdatedOct 20, 2025 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedOct 17, 2025 -
human-eval-verus Public
Forked from secure-foundations/human-eval-verusRust MIT License UpdatedSep 30, 2025 -
signal-proofs Public
Finally, complete mechanized proofs of Signal's PQXDH & Double Ratchet!
-
invoice-kitchen-better Public
Forked from wseagar/invoice-kitchenthe best place to cook up a invoice
TypeScript MIT License UpdatedJun 25, 2025 -
verifpal Public
Forked from symbolicsoft/verifpalCryptographic protocol analysis for real-world protocols.
Go GNU General Public License v3.0 UpdatedMay 31, 2025 -
lms-koika Public
Forked from namin/lms-koikaCollapsing Towers for Side-Channel Security
C UpdatedApr 25, 2025 -
-
wasm-of-RandomX Public
Forked from tevador/RandomXProof of work algorithm based on random code execution (compiled to wasm)
C++ BSD 3-Clause "New" or "Revised" License UpdatedMar 12, 2025 -
jakegines.in Public
The open-source code for my personal website, jakegines.in
-
raft-swarm-verification Public
Promela Raft model used for swarm verification
Promela UpdatedNov 18, 2024 -
gru Public
Automated refinement of property-based tests using mutation testing and LLMs
Python MIT License UpdatedOct 3, 2024 -
vodozemac Public
Forked from matrix-org/vodozemacPCS on Olm/Megolm
Rust Apache License 2.0 UpdatedSep 10, 2024 -
CanItEdit Public
Forked from nuprl/CanItEditCan It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions
Python UpdatedAug 6, 2024 -
sctpfm Public
Forked from sctpfm/sctpfm[USENIX Security '24] Code artifacts for SCTP FM paper.
-
llm-verified-with-monte-carlo-tree-search Public
Forked from namin/llm-verified-with-monte-carlo-tree-searchLLM verified with Monte Carlo Tree Search
Jupyter Notebook MIT License UpdatedJul 2, 2024 -
-
ab Public
A library for reasoning about and model checking finite automata
Python UpdatedApr 21, 2024 -
-
-
neu-rise-tex-poster Public
LaTeX poster template for Northeastern's research expo
-
tunnelbees Public
SSH honeypot that can securely let a client through via a zero-knowledge handshake
-
MultiPL-E Public
Forked from nuprl/MultiPL-EA multi-programming language benchmark for evaluating the performance of large language model of code.
Python Other UpdatedDec 20, 2023 -
An implementation for a langauge inclusion underapproximation approach
{{ message }}