gilbertwong96's Stars
github/gitignore
A collection of useful .gitignore templates
bigskysoftware/htmx
</> htmx - high power tools for HTML
maybe-finance/maybe
The OS for your personal finances
ZuodaoTech/everyone-can-use-english
人人都能用英语
huggingface/candle
Minimalist ML framework for Rust
rust-lang/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
coturn/coturn
coturn TURN server project
apernet/OpenGFW
OpenGFW is a flexible, easy-to-use, open source implementation of GFW (Great Firewall of China) on Linux
ml-explore/mlx-examples
Examples in the MLX framework
watchexec/watchexec
Executes commands in response to file modifications —— Maintenance status: on hold. I have no time for OSS currently; back late 2024.
leanprover/lean4
Lean 4 programming language and theorem prover
ejoy/ant
Ant game engine
daeuniverse/dae
eBPF-based Linux high-performance transparent proxy solution.
LnL7/nix-darwin
nix modules for darwin
joaotavora/eglot
A client for Language Server Protocol servers
Brendonovich/prisma-client-rust
Type-safe database access for Rust
minad/org-modern
:unicorn: Modern Org Style
devv-ai/devv
An AI-powered search engine for developers.
part-cw/lambdanative
LambdaNative is a cross-platform development environment written in Scheme, supporting Android, iOS, BlackBerry 10, OS X, Linux, Windows, OpenBSD, NetBSD, FreeBSD and OpenWrt.
abo-abo/org-download
Drag and drop images to Emacs org-mode
WhatsApp/waraft
An Erlang implementation of RAFT from WhatsApp
WhatsApp/eqwalizer
A type-checker for Erlang
skeeto/emacs-web-server
Extensible Emacs HTTP 1.1 server
WhatsApp/erlang-language-platform
Erlang Language Platform. LSP server and CLI.
accessd/terminal-sunday
Start each new terminal session with a thought-provoking reminder of the time you have to make the most of your life!
WhatsApp/erlfuzz
erlfuzz is a fuzzer for the Erlang ecosystem
nemethf/eglot-x
Protocol extensions for Eglot
zitsen/ooxml-rs
Office OpenXML reader and writer in Rust
WhatsApp/tree-sitter-erlang
Tree-sitter Grammar for Erlang
leanprover-community/lean4-mode
Emacs major mode for Lean 4