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