mlinksva

aframe

:a: Web framework for building virtual reality experiences.

SWE-agent

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It solves 12.29% of bugs in the SWE-bench evaluation set and takes just 1.5 minutes to run.

pgrx

Build Postgres Extensions with Rust!

giskard

🐢 Open-Source Evaluation & Testing for LLMs and ML models

flox

Developer environments you can take with you

pylyzer

A fast static code analyzer & language server for Python

diff-pdf

A simple tool for visually comparing two PDF files

publications

Publications from Trail of Bits

hermit

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

Grace

Grace Version Control System

vectorscan

A portable fork of the high-performance regular expression matching library

veryl

Veryl: A Modern Hardware Description Language

cackle

A code ACL checker for Rust

xr0

The Xr0 Verifier for C

hack-your-government

A list of governments with Vulnerability Disclosure Policies

rust-sel4

Rust support for seL4 userspace

lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel

microkit

Microkit - A simple operating system framework for the seL4 microkernel

ruzzy

A coverage-guided fuzzer for pure Ruby code and Ruby C extensions

genai-os

Kuwa GenAI OS: An open, free, secure, and privacy-focused Generative-AI Operating System.

discourse-ai

iscc-specs

ISCC: International Standard Content Code

self-attestation

Markdown Version of the DHS/CISA Secure Software Development Self Attestation Form.

open-source-in-government

Memory-Safety

iscc-core

ISCC - Codec & Algorithms

rust-gems

A collection of rust algorithms and data structures

rezoner

minimal-terms-of-use-and-privacy-policy

The equivalent of the MIT license for Terms of Use and Privacy Policy.

wikimisc