yangzhixuan's Stars
Lapin0t/grothendieck-cern
Alexander Grothendieck's 1972 talk at CERN, on scientific research
topological-modular-forms/Darwin-Typeface
This is the project repository for Darwin, a typeface for books and articles, with a focus on scientific writing.
fdilke/bewl
A DSL for the internal language of a topos
web-platform-tests/interop
web-platform-tests Interop project
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
dorchard/FirstPrelude
A replacement for Haskell's Prelude library (the standard library) designed for teaching beginners, developed at the University of Kent.
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
anthonyywangmath/tikzsd
A program for generating LaTeX TikZ code for string diagrams.
isovector/cornelis
agda-mode for neovim
mikeshulman/catlog
Categorical logic from a categorical point of view
andrejbauer/notes-on-realizability
Lecture notes on realizability
edwinb/idris2-vim
Vim mode for Idris 2
FelixKratz/SketchyVim
Adds all vim moves and modes to macOS text fields
lxgw/LxgwWenKai
An open-source Chinese font derived from Fontworks' Klee One. 一款开源中文字体,基于 FONTWORKS 出品字体 Klee One 衍生。
birthevdb/Structured-Handling-of-Scoped-Effects
oisdk/agda-playground
glacambre/firenvim
Embed Neovim in Chrome, Firefox & others.
aistrate/Okasaki
Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)
bellissimogiorno/nominal
Haskell implementation of nominal datatypes and functions
sjoerdvisscher/data-category
Library of categories, with categorical constructions on them
masaeedu/monadoptics
Profunctor optics for the endofunctor category on Hask
yangzhixuan/bipandoc
Bidirectional html/markdown synchroniser
josh-hs-ko/lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
ChenChunCamus/article
Wandmalfarbe/pandoc-latex-template
A pandoc LaTeX template to convert markdown files to PDF or LaTeX.
penrose/penrose
Create beautiful diagrams just by typing notation in plain text.
scmu/monad-reasoning
ucsd-progsys/liquid-sf
Port "Software Foundations" to LiquidHaskell
lexi-lambda/hackett
WIP implementation of a Haskell-like Lisp in Racket
fogleman/primitive
Reproducing images with geometric primitives.