Zhen Li's repositories
OpticaMono
Optica is a neo-grotesque monospace font.
WithSpecializedGenericMacro
A peer macro expanding generic struct or class to a specialized type
ArrayBoundCheckPass
An LLVM pass for bound check insertion and optimization based on the paper "Optimizing array bound checks using flow analysis" by Gupta et al.
games101-rs
Computer graphics projects, written in C++ & Rust.
CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
cosmos
GPU-accelerated force graph layout and rendering
dagre
Directed graph layout for JavaScript
Inferno
Metal shaders for SwiftUI.
PartialRedundancyElimination
A Swift abstraction for performing Partial Redundancy Elimination algorithms from the dragon book. Dumps Typst/GraphViz code.
pathfinder
A fast, practical GPU rasterizer for fonts and vector graphics
Remove-CCF-Table-from-SF-Fonts
Convert CCF table based font (SF, Inter) to TrueType font, so that software like Typst can export PDF with subsetted glyphs and you don't get a bloated PDF file.
reorder.js
JavaScript library to reorder matrices
swift
The Swift Programming Language
swift-docc-render
Web renderer for Swift-DocC documentation.
swift-org-website
Swift.org website
swift-signal
A Swift package that provides reactivity computation inspired by Solid.
tvcg-journal-typst
A Typst template for TVCG journals