Stars
Powerful web graphics runtime built on WebGL, WebGPU, WebXR and glTF
An open-source & self-hostable Heroku / Netlify / Vercel alternative.
Breakthrough Method for Agile Ai Driven Development
A ui component library for building desktop applications in rust
Implement a reasoning LLM in PyTorch from scratch, step by step
A header-only C++ library for L-BFGS and L-BFGS-B algorithms
Qwen Code is a coding agent that lives in the digital world.
Create beautiful diagrams just by typing notation in plain text.
Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.
A community-maintained Python framework for creating mathematical animations.
Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
An automated theorem prover based on Graham Priest's "An Introduction to Non-Classical Logic. From If to Is"
A Text User Interface library for the Rust programming language
The superconsole crate provides a handler and building blocks for powerful, yet minimally intrusive TUIs. It is cross platform, supporting Windows 7+, Linux, and MacOS. Rustaceans who want to creat…
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
⚙️ A conflict-driven nogood learning answer set solver
Interface with the rustc compiler for the purpose of program verification
Microsoft BASIC for 6502 Microprocessor - Version 1.1
Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.
A cross-platform GUI library for Rust, inspired by Elm
Cross-platform WebView library in Rust for Tauri.
A multi window layout manager for webapps