-
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 lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
A high-performance distributed file system designed to address the challenges of AI training and inference workloads.
DeepEP: an efficient expert-parallel communication library
Simple GUI for managing sched-ext schedulers via scx_loader
A fast, small C/C++ function call tracer for x86/Linux, supports clang & gcc, ftrace, threads, exceptions & shared libraries
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
Painless compression and decompression in the terminal
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
The book "Performance Analysis and Tuning on Modern CPU"
This is an online course where you can learn and master the skill of low-level performance analysis and tuning.
Turn lecture slides into flashcards and export them to Anki. Uses GPT-4 by OpenAI. AnkiGPT already generated 2,246,837 flashcards.
Minecraft v1.21 HD PBR resource pack. Works with Java and Bedrock shaders.
intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta
Online demo without installing at - https://buildit.so/tryit
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
RAI: Rust ML framework with composable transformations like JAX.