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 CLOS implementation of an in memory hypergraph database and semantic networks.☆11Feb 16, 2021Updated 5 years ago
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 7 years ago
- CLAWS - Work-stealing scheduler for LispWorks☆11Nov 30, 2018Updated 7 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 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
- daemonize lisp process☆38Feb 25, 2021Updated 5 years ago
- A general, modular build system.☆18Aug 13, 2025Updated 6 months ago
- A few addons for log4cl Common Lisp logging library.☆14Jan 9, 2026Updated last month
- Persistent, fast mmap'd database for Common Lisp using MOP; includes its own GC systems☆63Sep 11, 2009Updated 16 years ago
- A META parser generator using LL(1) grammars with s-expressions.☆16Oct 30, 2017Updated 8 years ago
- A setf like macro for functional programming☆70Aug 1, 2020Updated 5 years ago
- Clojure-Based Audio Plug-Ins☆25Aug 15, 2015Updated 10 years ago
- Qt client for Lichat☆12Feb 6, 2022Updated 4 years ago
- GameKernel is a command-driven "kernel" of game functionality. Its goal is to be a fast, portable, and language-friendly.☆10Mar 10, 2021Updated 4 years ago
- ☆10Apr 18, 2022Updated 3 years ago
- Network event library for Common Lisp☆11Oct 18, 2019Updated 6 years ago
- Lazy forms in Common Lisp☆11Aug 31, 2020Updated 5 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
- Simple library for generating binary WebAssembly files☆12Jun 6, 2021Updated 4 years ago
- Rust bindings for the Sophia[http://sphia.org/] embedded database system.☆15Jul 17, 2015Updated 10 years ago
- Closure web engine☆17Jul 22, 2022Updated 3 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Portable implementation of quasiquote for Common Lisp☆30Jan 26, 2026Updated last month
- Common Lisp implementation of various AI/statistics related things.☆19May 24, 2025Updated 9 months ago
- A library for portable framebuffer access☆18Aug 13, 2025Updated 6 months ago
- a CLOS projection for RDF repositories☆26May 22, 2019Updated 6 years ago
- Common Lisp RDF/XML parser☆18Jul 10, 2014Updated 11 years ago
- ☆17Dec 15, 2011Updated 14 years ago
- PEM parser.☆17Feb 25, 2025Updated last year
- ☆12May 6, 2015Updated 10 years ago
- Library for binary serialization/unserialization☆19Sep 7, 2018Updated 7 years ago
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆12Jan 10, 2021Updated 5 years ago
- A lisp wrapper for Cozodb☆14Jul 27, 2023Updated 2 years ago
- A sample Warehouse management app in Common Lisp☆14Aug 1, 2021Updated 4 years ago
- Portability library for the extensible sequences protocol☆16Aug 13, 2025Updated 6 months ago
- ☆10Jul 24, 2019Updated 6 years ago
- The official repository, taken over from Peter Scott.☆14Aug 4, 2022Updated 3 years ago
- Web debugging proxy☆21May 23, 2024Updated last year
- LIL: abstract interfaces and supporting concrete data-structures in Common Lisp☆154Sep 10, 2025Updated 5 months ago