yangzhixuan

yangzhixuan's Stars

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust36.3k1022.8k977

• lxgw/LxgwWenKai

  An open-source Chinese font derived from Fontworks' Klee One. 一款开源中文字体，基于 FONTWORKS 出品字体 Klee One 衍生。

  Language:Batchfile18.5k90130524

• fogleman/primitive

  Reproducing images with geometric primitives.

  Language:Go12.8k17875621

• penrose/penrose

  Create beautiful diagrams just by typing notation in plain text.

  Language:TypeScript7.6k119757349

• Wandmalfarbe/pandoc-latex-template

  A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

  Language:TeX6.3k90316972

• glacambre/firenvim

  Embed Neovim in Chrome, Firefox & others.

  Language:TypeScript5.3k21595151

• lexi-lambda/hackett

  WIP implementation of a Haskell-like Lisp in Racket

  Language:Racket1.2k676250

• FelixKratz/SketchyVim

  Adds all vim moves and modes to macOS text fields

  Language:C7367389

• ChenChunCamus/article

  48653294

• web-platform-tests/interop

  web-platform-tests Interop project

  3233583227

• topological-modular-forms/Darwin-Typeface

  This is the project repository for Darwin, a typeface for books and articles, with a focus on scientific writing.

  Language:Shell2327654

• rzk-lang/rzk

  An experimental proof assistant based on a type theory for synthetic ∞-categories.

  Language:Haskell213108410

• isovector/cornelis

  agda-mode for neovim

  Language:Haskell13489723

• mikeshulman/catlog

  Categorical logic from a categorical point of view

  Language:TeX771319

• edwinb/idris2-vim

  Vim mode for Idris 2

  Language:Vim script769926

• andrejbauer/notes-on-realizability

  Lecture notes on realizability

  Language:TeX65544

• fdilke/bewl

  A DSL for the internal language of a topos

  Language:Scala621033

• Lapin0t/grothendieck-cern

  Alexander Grothendieck's 1972 talk at CERN, on scientific research

  56404

• sjoerdvisscher/data-category

  Library of categories, with categorical constructions on them

  Language:Haskell54606

• bellissimogiorno/nominal

  Haskell implementation of nominal datatypes and functions

  Language:Haskell39508

• aistrate/Okasaki

  Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)

  Language:Haskell35307

• masaeedu/monadoptics

  Profunctor optics for the endofunctor category on Hask

  Language:Haskell27400

• anthonyywangmath/tikzsd

  A program for generating LaTeX TikZ code for string diagrams.

  Language:Haskell1830

• ucsd-progsys/liquid-sf

  Port "Software Foundations" to LiquidHaskell

  Language:Haskell11801

• dorchard/FirstPrelude

  A replacement for Haskell's Prelude library (the standard library) designed for teaching beginners, developed at the University of Kent.

  Language:Haskell1022

• oisdk/agda-playground

  Language:Agda7301

• yangzhixuan/bipandoc

  Bidirectional html/markdown synchroniser

  Language:Haskell6200

• josh-hs-ko/lhs2tex

  Preprocessor for typesetting Haskell sources with LaTeX

  Language:Haskell2200

• scmu/monad-reasoning

  Language:TeX2600

• birthevdb/Structured-Handling-of-Scoped-Effects

  Language:Haskell10