Pinned Repositories
agda-tutorial
Exercises from "Dependently Typed Programming in Agda"
dependent_typed
From Simply Typed Lambda Calculus to Dependently Typed Lambda Calculus
emacs.d
My personal emacs configuration
ESOP2019-artifact
Distributive Disjoint Polymorphism for Compositional Programming
first-class-trait
Type system for first-class traits
FunImpl
papers-phd
Being archives for papers/projects I've worked on in my PhD studies.
PhD-thesis
phd-thesis-artifact
sicp-exercises-elisp
Exercises from the book SICP using Elisp
bixuanzju's Repositories
bixuanzju/emacs.d
My personal emacs configuration
bixuanzju/ESOP2019-artifact
Distributive Disjoint Polymorphism for Compositional Programming
bixuanzju/papers-phd
Being archives for papers/projects I've worked on in my PhD studies.
bixuanzju/PhD-thesis
bixuanzju/first-class-trait
Type system for first-class traits
bixuanzju/phd-thesis-artifact
bixuanzju/category-agda
Being my Agda exercise of learning category theory.
bixuanzju/nested-composition
The Essence of Nested Composition
bixuanzju/solutions-tddi
Being the solutions to the exercises contained in the book "Type-Driven Development with Idris"
bixuanzju/advent-of-code-2018
Advent of Code 2018 Solutions (Spoilers!)
bixuanzju/agda
Agda is a dependently typed programming language / interactive theorem prover.
bixuanzju/bixuanzju.github.io
bixuanzju/corespec
A Specification for Dependent Types in Haskell (Core)
bixuanzju/CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
bixuanzju/doom-emacs
An Emacs framework for the stubborn martian hacker
bixuanzju/dotfile
my dotfiles
bixuanzju/dsss17
bixuanzju/emacs-anywhere
Configurable automation and access to window information, so you can do anything, anywhere.
bixuanzju/EPIJudge
EPI Judge - Preview Release
bixuanzju/evil-magit
Black magic or evil keys for magit
bixuanzju/GPC
A type checker for "Consistent Subtyping for All"
bixuanzju/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
bixuanzju/latex-mimosis
A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis
bixuanzju/mechanized-metatheory2
bixuanzju/metaAgda
Exercises from "Dependently Typed Metaprogramming in Agda"
bixuanzju/nix-config
My local Nix configuration
bixuanzju/ott
Ott is a tool for writing definitions of programming languages and calculi
bixuanzju/rustup
The Rust toolchain installer
bixuanzju/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
bixuanzju/tikzcd-editor
A simple visual editor for creating commutative diagrams.