BALisp/Anurag
23 Aug 2025 - 23 Aug 2025
- Claude the Lisper
- Common Lisp front end to PyTorch etc. XLA Accelerated Linear Algebra
- GitHub - Aider-AI/aider: aider is AI pair programming in your terminal (rec from someone else)
- Openhand, Blockgoose
- cl-malt (cl version of the learning packag in Little Learner )
- Lightning talks
- Jim White GitHub - jimwhite/acl2-jupyter: A Docker image for the ACL2 theorem proving system and books
- Ray Richspater(?) microLisp uLisp