47,133 repositories indexed
1–9 of 9 · Most stars
🛡️ BLA (Blind LLM Agents) — Adversarial defense shield that protects binaries, Electron apps, JS bundles, Python, and WebAssembly against AI reverse-engineering agents like REA. Poison -> Exhaust -> Hallucinate.
Fibers, Channels and Actors for Clojure
Practical generic programming for F#
A formalization of geometry in Coq based on Tarski's axiom system
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
Superior Lisp Interactive Mode for Pulsar
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
A collection of tools for Golang
This javascript webapp converts GLSL code from shadertoy.com to Gamemaker GLSL ES as well as output other necessary code to run.