"the Phoeron" Colin J.E. Lupton's starred repositories
gpt-engineer
Specify what you want it to build, the AI asks for clarification, and then builds it.
open_llama
OpenLLaMA, a permissively licensed open source reproduction of Meta AI’s LLaMA 7B trained on the RedPajama dataset
PUMPKIN-PATCH
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
pumpkin-pi
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
quantinuum-hardware-quantum-volume
Repository for sharing Quantinuum's Quantum Volume data
Starlisp-simulator
*Lisp simulator
graven-image
Portability library for better interaction and debugging of a running Common Lisp image through text REPL.
memory-regions
This library implements the concept of a "memory region" along with several useful tools to deal with them
source-compare
Source Compare: A 'diff' Program for Lisp
CommonORBIT
CORBIT: Object-oriented extension of Common Lisp based on a prototype (classless) model of OOP.
ai.lang.lisp.code.parsing.time
PARSE-TIME: Parsing routines for time and date strings.
ai.lang.lisp.code.iter.series
November, 26 1991 version of Richard C. Waters' Series macro package
ai.lang.lisp.code.tools.xref
List Callers: A Static Analysis Cross Referencing Tool for Lisp
ai.lang.lisp.code.ext.library
Library of miscellaneous small extensions to Common Lisp
ai.lang.lisp.code.ext.tables
The DEFTABLE macro provides a concise, lightweight notation for defining tables: things you can put key/value pairs into, and retrieve the value from the key
artificial-flavors
A straightforward partial implementation of Symbolics New Flavors in PCL.