✍️
Working!
Working!
-
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
3
stars
written in SCSS
Clear filter
赫蹏(hètí)是专为中文内容展示设计的排版样式增强。它基于通行的中文排版规范而来,可以为网站的读者带来更好的文章阅读体验。
HoTT / HoTT-2023
Forked from HoTT/HoTT-2019Conference on Homotopy Type Theory 2023