Xuan Bi's repositories
ESOP2019-artifact
Distributive Disjoint Polymorphism for Compositional Programming
papers-phd
Being archives for papers/projects I've worked on in my PhD studies.
first-class-trait
Type system for first-class traits
category-agda
Being my Agda exercise of learning category theory.
nested-composition
The Essence of Nested Composition
solutions-tddi
Being the solutions to the exercises contained in the book "Type-Driven Development with Idris"
advent-of-code-2018
Advent of Code 2018 Solutions (Spoilers!)
doom-emacs
An Emacs framework for the stubborn martian hacker
emacs-anywhere
Configurable automation and access to window information, so you can do anything, anywhere.
evil-magit
Black magic or evil keys for magit
idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
latex-mimosis
A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis
nix-config
My local Nix configuration
tikzcd-editor
A simple visual editor for creating commutative diagrams.