Cairo is the first Turing-complete language for creating provable programs for general computation.
- starknet
- zero-knowledge-proofs
- zkp
- computational-integrity
Repository Index
87,075 visible repositories in the index
25–48 of 52 · Most stars
A modern fully featured C compiler.
- c
- compiler
- zig
flat assembler 1 - reconstructed source history
- fasm
- assembly
- x86
- x86-64
Open-source CUDA, Triton and HIP compiler targeting multiple GPU and CPU architectures.
The Lux Programming Language
- language
- programming-language
- macros
- functional-programming
Source code of Ferrocene, safety-critical Rust toolchain
The core software distribution for the Inform 7 programming language.
- interactive-fiction
- natural-language
- programming-language
Clojure dialect for Flutter and Dart
Systems language with linear types and capability-based security.
- linear-types
- compiler
- capabilities
Packing your Ruby application into a single executable.
- ruby
- windows
- squashfs
- rubyc
Concrete: TFHE Compiler that converts python programs into FHE equivalent
- fhe
- tfhe
- homomorphic-encryption
- homomorphic-encryption-library
Compile your Julia Package
- packagecompiler
- julia
Generic purpose Just-In-time compiler for Rust.
A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages
Fast Compiler for C# Expression Trees and the lightweight LightExpression alternative. Diagnostic and code generation tools for the expressions.
- expression-tree
- dryioc
- delegate
- il-optimizations
Open Watcom V2.0 - Source code repository, Wiki, Latest Binary build, Archived builds including all installers for download.
[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.
- java
- jit-compiler
- openjdk
- jvm
A .NET library to parse and execute JavaScript code.
- javascript
- compiler
- library
Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic dispatch.
An OpenJDK release maintained and supported by SAP
- openjdk
- java
- open-source
- jdk
Language for high-assurance and high-speed cryptography
Open source compiler for your whole ML repo (support python, CUDA C/C++) into sass and cuda binary (which are closed sourced by Nvidia); 3-40% faster than Openai Triton for Neural Network (primarily LLM) based training/inferencing
- compiler
- compiler-backend
- compiler-optimization
- gpu-acceleration
Portable C Compiler sources
Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.