bvssvni
Computer and AI engineer with 17+ experience in prof. software dev. Founder of Piston, creator of Dyon. Deep math. intuition thinker, Rust "friend of the tree"
Cutout ProNorway
bvssvni's Stars
emilk/egui
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
HumanAIGC/AnimateAnyone
Animate Anyone: Consistent and Controllable Image-to-Video Synthesis for Character Animation
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
leanprover/lean4
Lean 4 programming language and theorem prover
misprit7/computerraria
A fully compliant RISC-V computer made inside the game Terraria
pdeljanov/Symphonia
Pure Rust multimedia format demuxing, tag reading, and audio decoding library
Kixiron/rust-langdev
Language development libraries for Rust
CensoredUsername/dynasm-rs
A dynasm-like tool for rust.
mortberg/cubicaltt
Experimental implementation of Cubical Type Theory
SuperTails/langcraft
Compiler from LLVM IR to Minecraft datapacks.
PistonDevelopers/Piston-Tutorials
Tutorials for Piston
snuk182/nuklear-rust
The bindings to the Nuklear 2D immediate GUI library.
mrDIMAS/rusty-shooter
[suspended] 3d shooter written in Rust using rg3d
advancedresearch/path_semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
alexheretic/spin-sleep
Rust accurate sleeping. Only use native sleep as far as it can be trusted, then spin.
met4citizen/Hypergraph
Hypergraph Rewriting System
advancedresearch/prop
Propositional logic with types in Rust
advancedresearch/pocket_prover
A fast, brute force, automatic theorem prover for first order logic
andrescorrada/IntroductionToAlgebraicEvaluation
A collection of essays and code on algebraic methods to evaluate noisy judges on unlabeled test data.
salmmanfred/ccdb
A terminal based game engine
Erk-/RRust
RRust, a reversible Rust DSL
cmccomb/rust-automl
Automated Machine Learning in Rust 🦀
groupoid/anders
🧊 Модальний гомотопічний верифікатор математики
jam1garner/some-error
A library for creating and using anonymous sum types as errors in Rust
cmpute/num-prime
PistonDevelopers/wgpu_graphics
A WGPU 2D back-end for the Piston game engine
pathalog/pathalog_rs
experiment9123/graphengine
Catori/catori_core-rs
cycell2d/cycell2d
http://www.cycell2d.com