Fernando Chu's repositories
HoTT-Book-Agda
The content of the HoTT book formalized in Agda
FernandoChu.github.io
Source for my personal page
MastersThesis
Formalization of my thesis in Agda
tapl-hakell
Implementation in Haskell of Benjamin Pierce's Types and Programing Languages book
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
agda-2LTT
A 2LTT library for Agda
agda-unimath
Univalent mathematics in Agda
analysis
Mathematical Components compliant Analysis Library
book
A textbook on informal homotopy type theory
Coq-HoTT
A Coq library for Homotopy Type Theory
cornelis
agda-mode for neovim
docker-agda
Agda on Docker
DTT-equality-checker
An equality checker for DTT
HoTTEST-Summer-School
HoTTEST Summer School materials
jupyterlab
JupyterLab computational environment.
KaTeX
Fast math typesetting for the web.
logseq-anki-sync
An logseq to anki syncing plugin with superpowers - image occlusion, card direction, incremental cards, and a lot more.
logseq-awesome-props
📋 Restyled and iconized properties for Logseq ala Notion/Tana
logseq-plugin-template-react
Logseq plugin boilerplate for React. Powered by Vite ✨
math-comp
Mathematical Components
nnn
n³ The unorthodox terminal file manager
spring-2024
Repository for the Spring 2024 run of the Mastermath HoTT course
statistical-inference-python
Notes on Casella & Berger's Statistical Inference Book, written on python
swr-site
The official website for SWR.
unigraph-dev
A local-first and universal knowledge graph, personal search engine, and workspace for your life.