-
Hangzhou Dianzi University
- Hangzhou
- @_octree
- https://octree.me
- https://bento.me/octree
Lists (19)
Sort Name ascending (A-Z)
Stars
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
Lightning-fast and Powerful Code Editor written in Rust
A simple, fast and user-friendly alternative to 'find'
Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine
A library for building fast, reliable and evolvable network services.
A modern editor with a backend written in Rust.
📚 Learn to write an embedded OS in Rust 🦀
GIF encoder based on libimagequant (pngquant). Squeezes maximum possible quality from the awful GIF format.
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite
A tree-sitter based AST difftool to get meaningful semantic diffs
a collection of well-tested, serializable CRDTs for Rust
Rich text CRDT that implements Peritext and Fugue
Implementation of the Unicode Bidirection Algorithm in Rust