- Shanghai
- https://penguin-wenyang.wang
Lists (4)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- Agda
- Assembly
- Boogie
- C
- C#
- C++
- CSS
- Coq
- Cuda
- Dart
- Frege
- Go
- Groovy
- HTML
- Handlebars
- Haskell
- Haxe
- Idris
- Ink
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MLIR
- Makefile
- Markdown
- OCaml
- Objective-C
- Python
- Racket
- Raku
- ReScript
- Rust
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Stylus
- Swift
- TeX
- TypeScript
- Vim Script
- WebAssembly
- Zig
Starred repositories
Empowering everyone to build reliable and efficient software.
A curated list of Rust code and resources.
A new markup-based typesetting system that is powerful and easy to learn.
A simple, fast and user-friendly alternative to 'find'
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
🚀 Fast, secure, lightweight containers based on WebAssembly
An incremental parsing system for programming tools
⭐️ A friendly language for building type-safe, scalable systems!
A massively parallel, high-level programming language
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Build terminal user interfaces and dashboards using Rust
🦀 How to minimize Rust binary size 📦
Distributed SQL database in Rust, written as an educational project