bixuanzju

emacs.d

My personal emacs configuration

ESOP2019-artifact

Distributive Disjoint Polymorphism for Compositional Programming

papers-phd

Being archives for papers/projects I've worked on in my PhD studies.

PhD-thesis

first-class-trait

Type system for first-class traits

phd-thesis-artifact

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!)

agda

Agda is a dependently typed programming language / interactive theorem prover.

bixuanzju.github.io

corespec

A Specification for Dependent Types in Haskell (Core)

CS410-17

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

doom-emacs

An Emacs framework for the stubborn martian hacker

dotfile

my dotfiles

dsss17

emacs-anywhere

Configurable automation and access to window information, so you can do anything, anywhere.

EPIJudge

EPI Judge - Preview Release

evil-magit

Black magic or evil keys for magit

GPC

A type checker for "Consistent Subtyping for All"

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

mechanized-metatheory2

metaAgda

Exercises from "Dependently Typed Metaprogramming in Agda"

nix-config

My local Nix configuration

ott

Ott is a tool for writing definitions of programming languages and calculi

rustup

The Rust toolchain installer

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

tikzcd-editor

A simple visual editor for creating commutative diagrams.