Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
NumPy aware dynamic Python compiler using LLVM
ILGPU JIT Compiler for high-performance .Net GPU programs
A formalization of geometry in Coq based on Tarski's axiom system
A realtime visual programming language for interactive media.
✨🐌 🐎✨ fastest npm scripts runner