mlinksva
pre-epochal parasite; post-epochal scavenger; as of 2016 not yet compost.
☃San Francisco, California
mlinksva's Stars
HigherOrderCO/Bend
A massively parallel, high-level programming language
princeton-nlp/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.47% of bugs in the SWE-bench evaluation set and takes just 1 minute to run.
plandex-ai/plandex
AI driven development in your terminal. Designed for large, real-world tasks.
pgcentralfoundation/pgrx
Build Postgres Extensions with Rust!
mtshiba/pylyzer
A fast static code analyzer & language server for Python
vslavik/diff-pdf
A simple tool for visually comparing two PDF files
trailofbits/publications
Publications from Trail of Bits
facebookexperimental/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.
verus-lang/verus
Verified Rust for low-level systems code
obi1kenobi/cargo-semver-checks
Scan your Rust crate for semver violations.
sophiajt/june
ScottArbeit/Grace
Grace Version Control System
VectorCamp/vectorscan
A portable fork of the high-performance regular expression matching library
UKGovernmentBEIS/inspect_ai
Inspect: A framework for large language model evaluations
cackle-rs/cackle
A code ACL checker for Rust
xr0-org/xr0
The Xr0 Verifier for C
cablej/hack-your-government
A list of governments with Vulnerability Disclosure Policies
seL4/rust-sel4
Rust support for seL4 userspace
au-ts/lionsos
A secure, fast, and adaptable OS based on the seL4 microkernel
trailofbits/ruzzy
A coverage-guided fuzzer for pure Ruby code and Ruby C extensions
seL4/microkit
Microkit - A simple operating system framework for the seL4 microkernel
discourse/discourse-ai
vmware-research/verifiable-controllers
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
iscc/iscc-specs
ISCC: International Standard Content Code
LibraryOfCongress/labs-ai-framework
Planning Framework used by LC Labs for planning AI experiments towards responsible implementation
Punderthings/fossfoundation
Directory of non-profit FOSS Foundations, with detailed metadata.
iscc/iscc-core
ISCC - Codec & Algorithms
github/rust-gems
A collection of rust algorithms and data structures
sdamerdji/rezoner
magnusmanske/wikimisc