🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
71,372 visible repositories in the index
145–168 of 686 · Most stars
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
🦩 Tools for Go projects
Open-source, cross platform Qt6 based IDE for reverse-engineering Android application packages. It features a friendly IDE-like layout including code editor with syntax highlighting support for *.smali code files.
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
Scala.js, the Scala to JavaScript compiler
Your favorite language gets closer to bare metal.
C++ Insights - See your source code with the eyes of a compiler
A machine learning compiler for GPUs, CPUs, and ML accelerators
C++ python bytecode disassembler and decompiler
Low-latency machine code generation
Borgo is a statically typed language that compiles to Go.
:zap: Walt is a JavaScript-like syntax for WebAssembly text format :zap:
Kill shader compilation stutter before you play. Compiles your games' shaders into the GPU driver's cache ahead of time. Windows, NVIDIA and AMD.
PyInstaller Extractor
Robust, fast, scalable, and sandboxed open-source online code execution system for humans and AI.
😎 A curated list of languages that compile directly to or have their VMs in WebAssembly
Decompiler from Java bytecode to Java, used in IntelliJ IDEA.
Build, bundle & ship your Rust WASM application to the web.
TranslatedCross-platform WeChat mini program decompilation GUI tool; a tool for scanning, decrypting, and unpacking .wxapkg files
Simple, elegant, Pythonic functional programming.
A language that compiles to Bash and Windows Batch
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
Build Time Analyzer for Swift
A compiled-away, type-safe, readable RegExp alternative