251. cl-rashellResilient replicant Shell Programming Library for Common Lisp
254. PlayNo description, website, or topics provided.
255. glkitOpenGL utilities for math, shaders, etc.
256. belA mirror of Paul Graham's Bel source code and documentation, formatted
262. cl-nnA neural network implementation in Common Lisp.
265. Cleaviran implementation-independent framework for creating Common Lisp compilers
272. cl-uiCommon Lisp bindings for minimalistic GUI library, libui, https://github.com/andlabs/libui
273. juvixJuvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
276. nqthmnqthm - the original Boyer-Moore theorem prover, from 1992
281. portmidiPortMidi is a cross platform (Windows, macOS, Linux, and BSDs which support alsalib) library for interfacing with operating systems' MIDI I/O APIs.
282. hotspotsA knowledge-based method for determining small molecule binding "hotspots".
283. lsw2OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
285. owlispA Common Lisp compiler, designed to compile to C (and from there to native code or JavaScript)
287. sblintA linter for Common Lisp source code using SBCL
289. cl-sodiumA wrapper around libsodium, providing easy, correct, safe crypto for common lisp.
291. ambAn implementation of John McCarthy's ambiguous operator in portable Common Lisp.
292. green-threadsA lightweight thread / cooperative multitasking library for Common Lisp.
293. rucksacka flexible, light weight, open source persistence library
297. deedsDeeds is an Extensible Event Delivery System
299. quackleQuackle crossword game artificial intelligence and analysis tool
300. gomokuA self-contained morphological analyzer (including dictionary data).