A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
Repository Index
71,372 visible repositories in the index
1–3 of 3 · Most stars
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
A PHP-to-native compiler. Takes a subset of PHP - including eval() - and compiles it directly to native assembly, producing standalone binaries for macOS ARM64, Linux ARM64, and Linux x86_64. No VM, no external runtime, no dependencies: dynamic eval falls back to an optional statically linked interpreter.