eXtensible Component Verifier and Builder for Common-Lisp (mirrored from Common-Lisp.net) https://gitlab.common-lisp.net/xcvb/xcvb
☆38Dec 24, 2020Updated 5 years ago
Alternatives and similar repositories for xcvb
Users that are interested in xcvb are comparing it to the libraries listed below
Sorting:
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 7 years ago
- CLAWS - Work-stealing scheduler for LispWorks☆12Nov 30, 2018Updated 7 years ago
- A Test Framework for Common Lisp in the style of JUnit, designed and implemented with simplicity of use in mind.☆21Dec 5, 2022Updated 3 years ago
- A META parser generator using LL(1) grammars with s-expressions.☆16Oct 30, 2017Updated 8 years ago
- A CLOS implementation of an in memory hypergraph database and semantic networks.☆11Feb 16, 2021Updated 5 years ago
- daemonize lisp process☆38Feb 25, 2021Updated 5 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- The Last Web App Framework You Will Ever Evaluate: qooxdoo, Lisp, and Cells☆47Mar 1, 2023Updated 3 years ago
- ☆10Jul 24, 2019Updated 6 years ago
- Reinforcement learning algorithms constrained by a partial program☆19Mar 25, 2011Updated 14 years ago
- Lazy forms in Common Lisp☆11Aug 31, 2020Updated 5 years ago
- Portable implementation of quasiquote for Common Lisp☆31Jan 26, 2026Updated last month
- GameKernel is a command-driven "kernel" of game functionality. Its goal is to be a fast, portable, and language-friendly.☆10Mar 10, 2021Updated 5 years ago
- A small library for tracking mutable state in Idris programs☆12Apr 19, 2017Updated 8 years ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆29May 21, 2025Updated 9 months ago
- Keeps the screen aspect ratio constant when resizing window.☆16Apr 28, 2018Updated 7 years ago
- ☆17Dec 15, 2011Updated 14 years ago
- This is a collection of all my games made for the LudumDare 48 hour game programming contest, and similar contests like Speedhack and TIN…☆22Oct 5, 2020Updated 5 years ago
- Some helpers that may make livecoding with slime/sly a little easier☆39Aug 20, 2024Updated last year
- Daemonize a Common Lisp process☆26Dec 20, 2014Updated 11 years ago
- Qt client for Lichat☆12Feb 6, 2022Updated 4 years ago
- Projects involving OpenGL using C++☆15Oct 1, 2012Updated 13 years ago
- Egison-like pattern-matching library for Common Lisp☆22May 15, 2015Updated 10 years ago
- Network event library for Common Lisp☆11Oct 18, 2019Updated 6 years ago
- A Common Lisp library for accessing octet-addressed blocks of data☆37Mar 7, 2017Updated 9 years ago
- Glyphs - Reducing Common Lisp verbosity☆30May 12, 2018Updated 7 years ago
- Persistent, fast mmap'd database for Common Lisp using MOP; includes its own GC systems☆64Sep 11, 2009Updated 16 years ago
- Clojure-Based Audio Plug-Ins☆25Aug 15, 2015Updated 10 years ago
- A few addons for log4cl Common Lisp logging library.☆14Jan 9, 2026Updated 2 months ago
- A setf like macro for functional programming☆70Aug 1, 2020Updated 5 years ago
- Portably run subprocesses in Common Lisp, with redirection, pipes, string interpolation☆27Apr 1, 2024Updated last year
- Stream classes for Common Lisp☆18Mar 6, 2019Updated 7 years ago
- a CLOS projection for RDF repositories☆26May 22, 2019Updated 6 years ago
- A library of conveniences for working with the Common Lisp SERIES package☆39Dec 9, 2019Updated 6 years ago
- ☆10Apr 18, 2022Updated 3 years ago
- Rust bindings for the Sophia[http://sphia.org/] embedded database system.☆15Jul 17, 2015Updated 10 years ago
- Simple library for generating binary WebAssembly files☆12Jun 6, 2021Updated 4 years ago
- Common Lisp implementation of various AI/statistics related things.☆19May 24, 2025Updated 9 months ago
- A sample Warehouse management app in Common Lisp☆14Aug 1, 2021Updated 4 years ago