5094 results for “security”
Formally verified polygon intersection. Contribute to schildep/verified-polygon-intersection development by creating an account on GitHub.
Contribute to w-martin/typedframes development by creating an account on GitHub.
Mechanistic experiments on how LLMs represent and compute arithmetic internally, with strict no-parser controls, reproducible audits, and an interactive article. - Commits · videlalvaro/llm-arithmetic-internals
Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.
Userspace eBPF VM. Contribute to iovisor/ubpf development by creating an account on GitHub.
Winners of the International Obfuscated C Code Contest - winner/2019/lynn/lol.hs at master · ioccc-src/winner
Rust async runtime based on io-uring. Contribute to monoio-rs/monoio development by creating an account on GitHub.
A secure file system for your agents to execute code - TakoVM/.github/workflows at main · Tako-Research/TakoVM
OCaml bindings for TensorFlow. Contribute to LaurentMazare/tensorflow-ocaml development by creating an account on GitHub.
lowfat - slim your command output. strips noise, saves tokens. - Branches · zdk/lowfat
Exact rational and computable real arithmetic for Rust. - hyperreal/doc at main · timschmidt/hyperreal
API Aqueduct — self-hosted MCP Gateway Runtime for spiky traffic - aquifer/.github/workflows at main · rjpruitt16/aquifer
API Aqueduct — self-hosted MCP Gateway Runtime for spiky traffic - aquifer/cmd/aquifer at main · rjpruitt16/aquifer
Contribute to w-martin/typedframes development by creating an account on GitHub.
A secure file system for your agents to execute code - History for docs/getting-started/installation.md - Tako-Research/TakoVM
A scriptable, extensible performance tool for sorted key value stores. - keybench/scripts at master · guycipher/keybench
Winners of the International Obfuscated C Code Contest - winner/2024/endoh2/Makefile at master · ioccc-src/winner
Winners of the International Obfuscated C Code Contest - winner/2019/poikola/README.md at master · ioccc-src/winner
Winners of the International Obfuscated C Code Contest - winner/2019/yang/README.md at master · ioccc-src/winner
Winners of the International Obfuscated C Code Contest - Pull requests · ioccc-src/winner
Add a site to JM Search
JM Search crawls a curated set of sites. Submit one — an admin approves it, then it gets crawled.
Log in to submit a site.
Site owner? About JMSearchBot