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
analysis
Mathematical Components compliant Analysis Library
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/nom-parser-lexer-example
Using nom to lex and parse a calculator
FernandoChu/devos
NixOS template
FernandoChu/ronix
:computer: A personal NixOS configuration
FernandoChu/fp-course
Functional Programming Course
FernandoChu/nvim
Truly the Ultimate Neovim Config NVCode
FernandoChu/learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
FernandoChu/99Haskell
My solutions to the 99 Haskell problems
FernandoChu/Lexi-Lexicons
A bunch of lexicons for lexi
FernandoChu/Reading-stuff
List of what I've read and what I intend to read
FernandoChu/horizon-theme-vscode
:art: A beautifully warm dual theme for Visual Studio Code
FernandoChu/awesome
:sunglasses: Curated list of awesome lists