Pinned Loading

1. Traiectum Traiectum Public

   A train simulator made with pygame. It kinda works!

   Python 3

2. bonaparticle bonaparticle Public

   Forked from chunfeilung/bonaparticle

   A LaTeX magazine class. Still a work in progress

   TeX

3. emoji-mart emoji-mart Public

   Forked from missive/emoji-mart

   One component to pick them all 👊🏼

   JavaScript

4. Lisp-Assembly Lisp-Assembly Public

   A minimalist Lisp implementation in x86_64 assembly

   Assembly 8 2

5. refinement-parsers refinement-parsers Public

   Article on using refinement calculus and algebraic effects for parsing

   TeX 8 1

6. spacemacs-lean spacemacs-lean Public

   A Lean layer for Spacemacs, based on the Agda layer

   Emacs Lisp 1