Plisp

uncursed

A blessed fixed greased +3 terminal library

vico

this was absolutely the wrong direction https://plisp.github.io/posts/Editing-abstraction-not-text-updated.html

libst

piece table experiments

wordlol

wordle solver in 80 lines of lisp

plisp.github.io

proofs

random type theory experiments + HOL scripts

.emacs.d

Emacs init files

cakeml

CakeML: A Verified Implementation of ML, itree dev version

cl-async

Asynchronous IO library for Common Lisp.

cl-ppcre-custom

Common Lisp regular expression library, a fork with support for custom accessors

cl-tickit

Common Lisp bindings to the Terminal Interface Construction Kit

clips

C compiler targeting mips

clojure-koans

learning clojure

dsdump

Reference implementations of data structures

HOL

Canonical sources for HOL4 theorem-proving system

iOS

iOS version of MyNSB

markov-zuckerberg

An intellectual discord bot that mimicks humans

nwhen

A simple calendar program using a Lisp domain language.

polymorph.data-structures

ropey

A utf8 text rope for manipulating and editing large texts.

st

Fork of st with patches

terminfo

A terminfo database front end in Common Lisp. Based on terminfo by Paul Foley.

void-dotfiles

*GNU*/linux dotfiles

wcwidth-comparision

time to unearth the madness