overoxidize
Generally & genuinely passionate about Rust, Math & Physics, though I've been known to branch out into other adjacent fields & concepts.
overoxidize's Stars
BillyDM/awesome-audio-dsp
My curated list of audio DSP and plugin development resources
fitzgen/state_machine_future
Easily create type-safe `Future`s from state machines — without the boilerplate.
rustype/typestate-rs
Proc-macro typestate DSL for Rust
keone/crypto-reading-list
helix-editor/helix
A post-modern modal text editor.
rabbibotton/clog
CLOG - The Common Lisp Omnificent GUI
remacs/remacs
Rust :heart: Emacs
gchp/iota
A terminal-based text editor written in Rust
wez/wezterm
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
lem-project/lem
Common Lisp editor/IDE with high expansibility
inpla/inpla
Inpla: Interaction nets as a programming language (the current version)
JonathanLorimer/conceptual-mathematics
Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
obi1kenobi/monad_compiler
A compiler for the MONAD language from Advent of Code 2021 Day 24
autometrics-dev/autometrics-rs
Easily add metrics to your code that actually help you spot and debug issues in production. Built on Prometheus and OpenTelemetry.
coleslaw-org/coleslaw
Flexible Lisp Blogware
leptos-rs/leptos
Build fast web applications with Rust.
PieterPenninckx/rsynth
A crate for developing audio plugins and applications in Rust.
ctjhoa/rust-learning
A bunch of links to blog posts, articles, videos, etc for learning Rust
erikgrinaker/toydb
Distributed SQL database in Rust, written as an educational project
mAarnos/Serkr
An automated theorem prover for first order logic.
shnewto/bnf
Parse BNF grammar definitions
XWHQSJ/ebooks
A repository for ebooks, including C, C plus plus, Linux Kernel, Compiler, OS, Algorithm, Security, Database, Network, ML and DL
pkivolowitz/asm_book
A book teaching assembly language programming on the ARM 64 bit ISA. Along the way, good programming practices and insights into code development are offered which apply directly to higher level languages.
rust-lang/chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
LuxLang/lux
The Lux Programming Language
uuosio/rscdk
Rust Smart Contracts Development Kit For EOS
sagan-software/eosio-rust
EOSIO SDK for Rust – APIs for building smart contracts on EOSIO blockchains in Rust
TaKO8Ki/awesome-alternatives-in-rust
A curated list of replacements for existing software written in Rust
swc-project/swc
Rust-based platform for the Web
solana-labs/solana
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.