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.
llvm-clang-samples
Examples of using the LLVM and Clang compilation libraries and tools
tauri-leptos-example
Tauri and Leptos example.
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-ratatui
A curated list of TUI apps and libraries built with Ratatui
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_ratatui
A rust crate to use Ratatui in a Bevy App
cudarc
Safe rust wrapper around CUDA toolkit
devika
Devika is an Agentic AI Software Engineer that can understand high-level human instructions, break them down into steps, research relevant information, and write code to achieve the given objective. Devika aims to be a competitive open-source alternative to Devin by Cognition AI.
every-programmer-should-know
A collection of (mostly) technical things every software developer should know
go-is-not-good
A curated list of articles complaining that go (golang) isn't good enough
hop
Hop Orchestration Platform
htmx-course-resources
Course attachments for the our "HTMX - The Practical Guide" course (https://acad.link/htmx)
LLMs-from-scratch
Implementing a ChatGPT-like LLM from scratch, step by step
maxtext
A simple, performant and scalable Jax LLM!
OpenDevin
🐚 OpenDevin: Code Less, Make More
ZLUDA
CUDA on AMD GPUs