Josh Reuben's repositories
RustOrBust
My Rust deep dive down the rabbit-hole !
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
rust_dashboard_app
For the tutorial video at https://www.youtube.com/watch?v=DQB-cJPYChg
awesome-blockchain-rust
Collect libraries and packages about blockchain/cryptography in Rust
awesome-jupyter
A curated list of awesome Jupyter projects, libraries and resources
awesome-leptos
A collection of awesome libraries in the Leptos ecosystem.
awesome-postgres
A curated list of awesome PostgreSQL software, libraries, tools and resources, inspired by awesome-mysql
awesome-rust
A curated list of Rust code and resources.
best-of-jupyter
🏆 A ranked list of awesome Jupyter Notebook, Hub and Lab projects (extensions, kernels, tools). Updated weekly.
bevy_mujoco
Render MuJoCo scenes in bevy
bevy_ratatui
A rust crate to use Ratatui in a Bevy App
bevy_rl
Reinforcement Learning environments with Bevy
crabviz
🦀 A LSP-based interative call graph generator
cudarc
Safe rust wrapper around CUDA toolkit
Debian-Hyprland
Automated Hyprland installer for Debian 13 Trixie and Debian SID (unstable) and Ubuntu 24.04 Noble Numbat
htmx-course-resources
Course attachments for the our "HTMX - The Practical Guide" course (https://acad.link/htmx)
learn-wgpu
Guide for using gfx-rs's wgpu library.
LLMs-from-scratch
Implementing a ChatGPT-like LLM from scratch, step by step
maxtext
A simple, performant and scalable Jax LLM!
ZLUDA
CUDA on AMD GPUs