-
University of Rochester
- Rochester, NY
- https://zhuyi.fan
- @ZhuSchrodinger
Highlights
- Pro
Stars
- All languages
- Agda
- Assembly
- Awk
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Cython
- Dart
- Dhall
- Dockerfile
- Elixir
- Elvish
- Emacs Lisp
- Erlang
- F*
- GLSL
- Go
- HCL
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MLIR
- Makefile
- Markdown
- Mercury
- Nix
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Pony
- PowerShell
- Python
- Q#
- Racket
- Raku
- RenderScript
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Shell
- Standard ML
- Starlark
- Stylus
- Svelte
- SystemVerilog
- TeX
- TypeScript
- Typst
- Verilog
- WebAssembly
- Zig
A modern runtime for JavaScript and TypeScript.
Empowering everyone to build reliable and efficient software.
A cross-platform, OpenGL terminal emulator.
🦀 Small exercises to get you used to reading and writing Rust code!
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
A refreshingly simple data-driven game engine built in Rust
A new markup-based typesetting system that is powerful and easy to learn.
A simple, fast and user-friendly alternative to 'find'
Lightning-fast and Powerful Code Editor written in Rust
Rust / Wasm framework for creating reliable and efficient web applications
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
A cross-platform GUI library for Rust, inspired by Elm
Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.
a structural diff that understands syntax 🟥🟩
An incremental parsing system for programming tools
A modern editor with a backend written in Rust.
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
⭐️ A friendly language for building type-safe, scalable systems!
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Distributed transactional key-value database, originally created to complement TiDB
An interactive cheatsheet tool for the command-line
🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.