Arnaud Golfouse's repositories
gdnative-doc-rs
Documentation tool for godot-rust
Language:SCSS000
cargo-semver-checks
Scan your Rust crate for semver violations.
Language:RustApache-2.0000
cbindgen
A project for generating C bindings from Rust code
Language:RustMPL-2.0000
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Language:RustLGPL-2.1000
Language:GDScriptMIT000
lalrpop
LR(1) parser generator for Rust
Language:RustApache-2.0000
logos
Create ridiculously fast Lexers
Language:RustApache-2.0000
naga
Universal shader translation in Rust
Language:RustApache-2.0000
rust
Empowering everyone to build reliable and efficient software.
Language:RustNOASSERTION000
rust-analyzer
An experimental Rust compiler front-end for IDEs
Language:RustApache-2.0000
typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:RustApache-2.0000
typst-lsp
A brand-new language server for Typst, plus a VS Code extension
MIT000
Language:RustMIT000
Language:RustUnlicense000
wasm-tools
Low level tooling for WebAssembly in Rust
Apache-2.0000
wgpu
Safe and portable GPU abstraction in Rust, implementing WebGPU API.
Language:RustApache-2.0000