Stars
- All languages
- Alloy
- Ballerina
- C
- C#
- C++
- Clojure
- CoffeeScript
- Common Lisp
- Dart
- Dockerfile
- Elixir
- Elm
- Erlang
- FreeBASIC
- Git Attributes
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Kotlin
- LiveScript
- Lua
- Makefile
- Objective-C
- Perl
- Python
- R
- Racket
- Reason
- Ruby
- Rust
- Scala
- Shell
- Solidity
- Starlark
- Swift
- TLA
- TeX
- TypeScript
- Vue
- WebAssembly
- Zig
A browser extension overlays Hanyu Pinyin annotations over Chinese characters present in web pages and video closed captions.
🌳 Spawn multi-level trees of customized, scalable, EVM-compatible networks with IPC. L2++ powered by FVM, Wasm, libp2p, IPFS/IPLD, and CometBFT.
a online Marketplace for coffee retail (Backend)
Source material for Algebra-Driven Design
A library for building fast, reliable and evolvable network services.
A multi-sandbox container runtime that provides cloud-native, all-scenario multiple sandbox container solutions.
A Text User Interface library for the Rust programming language
A time traveling resource monitor for modern Linux systems
Minimal and opinionated eBPF tooling for the Rust ecosystem
user-friendly rust bindings for the bpf compiler collection
A curated list to learn about distributed systems
A Toolchain to make Build and Run eBPF programs easier
A self-hosted solution to enable secure connectivity between devices across restricted networks like NAT or firewalls
Probably the sharpest git repository organizer & rebase/merge workflow automation tool you've ever seen
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
A simple, physics-based animation library 🎼