A fast type checker and language server for Python
Repository Index
81,588 visible repositories in the index
1–16 of 16 · Most stars
Borgo is a statically typed language that compiles to Go.
- compiler
- golang
- programming-language
- rust-lang
Ergonomic bindings to SQLite for Rust
- rust
- sqlite
- bindings
- wrapper
A statically typed language compatible with Python
- compiler
- programming-language
- python
- rust
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
Incremental rust builds up to 92x faster than cargo/rustc
- cargo
- compiler
- cranelift
- developer-tools
A Rust compiler backend targeting CIL(.NET IR) and C.
Emerging smart contract language for the Ethereum blockchain.
Run Rust files and expressions as scripts without any setup or compilation step.
- rust
- script
- cargo
A tiny JVM written in Rust. Learning project
A Cargo subcommand for the client-side Web
- rust
- web
- asmjs
- emscripten
A standalone Luau runtime
- cli
- luau
- scripting
A high-performance engine for matrix math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.
- matlab
- rust
- jit-compiler
- linear-algebra
a rust compiler daemon for up to 25x faster cargo builds
Bindings to the Tauri API for projects using wasm-bindgen
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436