Arthur Gleckler

Theorem Proving in Jupyter Notebooks, part II, by Jim White (BALISP lightning talk)

Integrating Steel Scheme into Helix Editor, by Matt Paras (BALISP lightning talk)

I Want a Good Parallel Language, by Raph Levien (BALISP)

RetroAI: Reanimating the Earliest AIs in the Lost Languages that Predated Lisp, Jeff Shrager(BALISP)

Schmeep, by Arthur A. Gleckler (BALISP lightning talk)

Wearable Keyboard and Display, by Zacchaeus (BALISP lightning talk)

Medical Research Data Portal in Clojure, by Mike Travers (BALISP lightning talk)

A Quick Overview of uLisp, by Ray Rischpater (BALISP lightning talk)

Theorem Proving in Jupyter Notebooks, by Jim White (BALISP lightning talk)

Adding Passkey Support to Any Web Application, by Arthur A. Gleckler (BALISP lightning talk)

Lisp artifacts II, by Kerry Koitzsch (BALISP lightning talk)

New algorithm for faster and more scalable C3-style linearization, by Nick Allen (lightning talk)

Cancer Research Data Portal in Clojure, by Mike Travers (BALISP lightning talk)

chatgpt-shell.el, by Álvaro Ramírez (BALISP)

Lisp artifacts, by Kerry Koitzsch (BALISP lightning talk)

The Little Learner, by Anurag Mendhekar (BALISP lightning talk)

How to Port CMUCL to Another Architecture, by Raymond Toy (BALISP)

BALISP: A language-centric approach to building operating system to app, by Daniel Kluss

BALISP: Wraith Scheme: History and Porting, then Nanopass Compiler Framework

Medley Interlisp Project, by Larry Masinter et al.

MakerLisp Machine: an eZ80 CPU card running bare-metal Lisp, by Luther Johnson (long-form talk)

define-blog-post, a DSL for writing blog posts, by Arthur A. Gleckler (lightning talk)

Weerd game play

From Scripting to Proving: Gradual Verification with a Scheme

Temporal Logic, micro-Kanren, and a Time-Traveling RDF Database

Tail Calling Between Code Generated by C and Native Backends

Growing Schemes: Twenty Years of Scheme Requests for Implementation