Repos
104
Stars
69
Forks
4
Top Language
Rust
Loading contributions...
Top Repositories
Inference code for LLaMA models
Experimental Quantum Computer Simulator + Quantum Chess Implementation
Bevy + Anvil = We have OpenSCAD at home (with aspirations) :)
Pico-tts, copied from androids source tree.
Repositories
104No description provided.
Development at the speed of light
No description provided.
KDL support for facet
2D and 3D physics engine based on Extended Position Based Dynamics for Bevy.
Rust bindings for the Z3 solver.
The source files for the official Bevy website
rustic - fast, encrypted, and deduplicated backups powered by Rust
Bevy + Anvil = We have OpenSCAD at home (with aspirations) :)
Rust bindings to the OpenCascade CAD Kernel
A Git-compatible VCS that is both simple and powerful
Linking bug demonstration
An intuitive 3D modeling kernel built in Rust.
Maps where keys are borrowed from values.
A framework for saving and loading application state in Bevy.
An OpenGL function pointer loader for Rust
Pre-RFC for `use` keyword in struct fields
Servo's SpiderMonkey fork
background code checker
Kani Rust Verifier
The user-friendly command line shell.
Experimental Quantum Computer Simulator + Quantum Chess Implementation
No description provided.
The Rust package manager
No description provided.
Pathfinding using Polyanya
The logical evolution of the include_str macro for embedding a directory tree into your binary.
Inference code for LLaMA models
Pico-tts, copied from androids source tree.
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!