Pinned Repositories
buswire
coffee-script
Unfancy JavaScript
mathlib
Lean mathematical components library
mathlib4
The math library of Lean 4
nll-rfc
Non-lexical lifetimes RFC.
parking_lot
Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.
respondio
Rust web framework prioritizing ergonomics, simplicity and safety
roach
Rust OpenApi Codegen for Hyper
stsh
Short-term static file hosting
tokio-nats
sebzim4500's Repositories
sebzim4500/coffee-script
Unfancy JavaScript
sebzim4500/respondio
Rust web framework prioritizing ergonomics, simplicity and safety
sebzim4500/roach
Rust OpenApi Codegen for Hyper
sebzim4500/stsh
Short-term static file hosting
sebzim4500/tokio-nats
sebzim4500/buswire
sebzim4500/mathlib
Lean mathematical components library
sebzim4500/mathlib4
The math library of Lean 4
sebzim4500/nll-rfc
Non-lexical lifetimes RFC.
sebzim4500/parking_lot
Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.
sebzim4500/queues
sebzim4500/reqwest
An easy and powerful Rust HTTP Client
sebzim4500/softbank-example
sebzim4500/tfs
Next generation File System based on ZFS — with support for O(1) snapshots, error correction, encryption, caching, and more.