Beast code in Giters

Sebastian Zimmer's repositories

The math library of Lean 4

Apache-2.0000

Language:Rust100

Rust OpenApi Codegen for Hyper

Language:Rust100

An easy and powerful Rust HTTP Client

Apache-2.0000

Rust web framework prioritizing ergonomics, simplicity and safety

Language:Rust100

Lean mathematical components library

Language:LeanApache-2.0000

Non-lexical lifetimes RFC.

000

Next generation File System based on ZFS — with support for O(1) snapshots, error correction, encryption, caching, and more.

Language:RustMIT000

Language:TypeScript000

Language:TypeScript000

Language:TypeScript000

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

Language:RustApache-2.0000

Short-term static file hosting

Language:JavaScriptMIT100

Unfancy JavaScript

Language:CoffeeScriptMIT100