
Starred repositories
Rich text CRDT that implements Peritext and Fugue
A tool to make solving type errors in Haskell simple and fun.
A Cargo subcommand for creating WebAssembly components based on the component model proposal.
Cross-platform Rust rewrite of the GNU coreutils
A strong, compile-time enforced authorization framework for rust applications.
Heap profiling and ad hoc profiling for Rust programs.
Defining Semantic Versioning for TypeScript types
Write expressive, high-performance parsers with ease.
I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.
TypeScript with a Borrow Checker. Multi-threaded, Tiny binaries. No GC. Easy to write.
Collection of TypeScript type challenges with online judge
delegated, decentralized, capabilities based authorization token
A highly scalable open-source implementation of an access-control engine inspired by Google Zanzibar-"Google’s Consistent, Global Authorization System"
A tree-sitter based AST difftool to get meaningful semantic diffs
Implementations of various type systems in OCaml.
The most scalable and customizable permission server on the market. Fix your slow or broken permission system with Google's proven "Zanzibar" approach. Supports ACL, RBAC, and more. Written in Go, …
🌊 Continuously synchronize the systems where your data lives, to the systems where you _want_ it to live, with Estuary Flow. 🌊
A model checker for implementing distributed systems.
Capability-oriented version of the Rust standard library
🦀 Small exercises to get you used to reading and writing Rust code!