Migrate C code to Rust
- transpiler
- rust
- security-hardening
- migration
Repository Index
71,372 visible repositories in the index
25–48 of 64 · Most stars
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
Borgo is a statically typed language that compiles to Go.
- compiler
- golang
- programming-language
- rust-lang
Build, bundle & ship your Rust WASM application to the web.
- rust
- wasm
- bundler
- assets
Simple, Fast, Code first and Compile time generated OpenAPI documentation for Rust
- rust
- openapi
- documentation
- rest
NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.
Building a modern functional compiler from first principles.
- compiler
- lambda-calculus
- type-inference
- haskell
A static, type inferred and embeddable language written in Rust.
- rust
- repl
- programming-language
- type-inference
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
Interactive visualizations of Rust at compile-time and run-time
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.
A correct and efficient TypeScript type checker and compiler with additional experiments
- compiler
- javascript
- typescript
- typechecker
Compile Cargo project with zig as linker
- cargo-subcommand
- zig
- cross-compile
:pencil: Compile-time HTML templates for Rust
- rust
- template-engine
- macro
Compile Time Async Dynamic SQL ORM
KCL Language Core and API
- record
- configuration
- functional
- policy
A safe, easy systems language
Incremental rust builds up to 92x faster than cargo/rustc
- cargo
- compiler
- cranelift
- developer-tools
Java decompiler, assembler, and disassembler
Compile time static maps for Rust
- rust
Cranelift based backend for rustc