Local Domain for Anoma

Interactive software environment based on Common Lisp.

Cataclysm: The Last Generation

misc lisp scripts

视觉小说翻译器 / Visual Novel Translator

Tools used to reverse engineer the original windows port of YU-NO from the Elf Classics release

Implementation of Nock specification in hardware

集理 - Principled Mathematics in the Relational-Object Style

Various Spikes

The game files for the SDK 2013 port of Fortress Forever.

Moldable extensions to make creating slides/slideshows more ergonomic and quicker in Glamorous Toolkit

A purely-relational rewriting system to aid with proof debugging

Lean4 bindings for raylib

Common-Lisp simulation and FPGA implementation of MIT's Scheme-79 chip

The aim of this project is to create an Advance Wars Clone with a lot of additions customizations and modding support. For Contact Inforamtion see the wiki page. Take a view on the game.

Doug Lenat's EURISKO from SAIL archives circa 1981

CADR4 -- accurate model of the MIT CADR

Arcan - [Display Server, Multimedia Framework, Game Engine] -> "Desktop Engine"

source code for Worms? by David S. Maynard

The Ultimate Backplane for the Amstrad CPC

A C Compiler that fits in the 512 byte boot sector of an x86 machine

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

Wants to be the SLIME of Forth

EvilVM compiler for information security research tools.

Generate REPL-optimized Lisp cores on demand

A next-generation high-performance operating system focused on enterprise-level resilience

A modular Common Lisp game engine

A post-apocalyptic actionRPG. Now on Steam!

Next generation modding platform for Final Fantasy VII and Final Fantasy VIII ( with native Steam 2013 release support! )