Jin's starred repositories
covid-19-data
A repository of data on coronavirus cases and deaths in the U.S.
org-roam-ui
A graphical frontend for exploring your org-roam Zettelkasten
nerd-dictation
Simple, hackable offline speech to text - using the VOSK-API.
lisp-in-life
A Lisp interpreter implemented in Conway's Game of Life
LambdaLite
A functional, relational database in about 250 lines of Common Lisp
formalising-mathematics
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
cl-collider
A SuperCollider client for CommonLisp
emacs-htmlize
Convert buffer text and decorations to HTML.
gnu-apl-mode
GNU APL mode for Emacs
cl-community-spec
A Common Lisp specification, made from the original ANSI specification drafts
literate-lisp
Load Common Lisp code blocks from Org files
sgf-render
Sgf Rendering CLI written in Rust
dupont-contraction
This package provides tools to work with Sullivan forms, Dupont forms, and the Dupont contraction from Sullivan to Dupont forms. In particular, it allows for the computation of the transferred homotopy commutative structure on Dupont forms.