-
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*
- Flix
- GLSL
- Go
- HCL
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mercury
- Nix
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Pony
- PowerShell
- Python
- Q#
- QML
- Racket
- Raku
- Reason
- RenderScript
- Rocq Prover
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Shell
- Standard ML
- Starlark
- Stylus
- Svelte
- SystemVerilog
- TeX
- TypeScript
- Typst
- Verilog
- WebAssembly
- Zig
A focused launcher for your desktop — native, fast, extensible
Declarative binary reading and writing: bit-level, symmetric, serialization/deserialization
🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…
cuTile is a programming model for writing parallel kernels for NVIDIA GPUs
An open documentation for the C/C++ programming languages and their standard libraries.
Standard library for linear types in Haskell.
Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
A fast and space-efficient graph data structure.
📰 Must-read papers and blogs on Speculative Decoding ⚡️
Cross-platform Rust rewrite of the GNU coreutils
A fast framework for writing baseline compiler back-ends in C++
An LLVM IR dataset for data-driven compiler optimization research
🔥🔥🔥 Latest Papers, Codes and Datasets on Video-LMM Post-Training
A menagerie of cute implementations of modern typechecking algorithms
GitHub Copilot CLI brings the power of Copilot coding agent directly to your terminal.
Koog is the official Kotlin framework for building predictable, fault-tolerant and enterprise-ready AI agents across all platforms – from backend services to Android and iOS, JVM, and even in-brows…
Postmodern immutable and persistent data structures for C++ — value semantics at scale
plf::hive is a fork of plf::colony to match the current C++ standards proposal.
A next-generation C++ language server for modern C++, focused on high performance and deep code intelligence
A template for blueprint-driven formalization projects in Lean.
Extremely fast Query Engine for DataFrames, written in Rust