experiments in lisp static analysis
☆12Oct 12, 2015Updated 10 years ago
Alternatives and similar repositories for static-analysis
Users that are interested in static-analysis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Access TrueType fonts with Common Lisp☆25Feb 14, 2025Updated last year
- Kernel Programming Language written in assembly and Klisp, Imported from https://bitbucket.org/havleoto/bronze-age-lisp☆15Jan 3, 2020Updated 6 years ago
- Source code for a deployed web application (see https://lisper.ch/Ekagra)☆11May 23, 2021Updated 5 years ago
- plaintext presentation tool (moved to suckless.org)☆18Nov 11, 2015Updated 10 years ago
- CL-PACK supplies Perl/PHP/Ruby compatible pack() and unpack() functions to allow easy use of binary format protocols and files with the a…☆17Apr 3, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A super-amazing OS that will bring world peace.☆16Jun 2, 2013Updated 13 years ago
- CLX reimplementation on XCB/Xlib☆19Jan 16, 2023Updated 3 years ago
- prepl is a REPL implementation, also known as a Lisp listener☆14Jun 11, 2025Updated last year
- A JavaScript port of the GNU Ballistics Library☆14Nov 24, 2020Updated 5 years ago
- Lockless skip lists for Common Lisp; well, for now sbcl 1.0.42 or higher. Contributions for other Lisps welcome. See the README file fo…☆19Apr 6, 2022Updated 4 years ago
- Loosely-coupled collection of audio libraries in Common Lisp☆33Oct 23, 2024Updated last year
- Open Syobon Action (forked from http://sourceforge.net/projects/opensyobon/ v0.9 RC2)☆12Sep 25, 2022Updated 3 years ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 years ago
- http://cdr.eurolisp.org/document/2/☆17Sep 14, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A kind of "pure" PicoLisp (not "pure Lisp"!).☆13Aug 22, 2017Updated 8 years ago
- A lisp interpreter☆13Oct 1, 2020Updated 5 years ago
- zsort is a collection of portable sorting algorithms in Common Lisp.☆29Apr 23, 2012Updated 14 years ago
- draw nice vextor fonts in openGL. C implementation using freetype of loop blinn technique for rendering vector graphics on gpu☆12Sep 24, 2010Updated 15 years ago
- Common Lisp implementation of Trie data structure.☆13Jan 10, 2023Updated 3 years ago
- An Java desktop application focusing on providing organized data access to DCS World net, export and mission environment runtime.☆11May 20, 2022Updated 4 years ago
- The BASIC-BINARY-IPC system provides an interface for performing inter process communication using IPv4 or local streams. The interface f…☆21Nov 7, 2021Updated 4 years ago
- A traversal fusion EDSL for Common Lisp☆23Feb 5, 2022Updated 4 years ago
- A Common Lisp binding for the Apache Thrift framework☆20Dec 5, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A DSL to create slides written in Common Lisp☆16Dec 9, 2011Updated 14 years ago
- Common Lisp implementation of a Slime / Swank client.☆89Jan 12, 2026Updated 6 months ago
- cl-emoji provides the Unicode emoji characters.☆14Mar 2, 2024Updated 2 years ago
- support for non-linux platforms (tested on Darwin) and other misc updates☆43Jan 29, 2015Updated 11 years ago
- NixOps VirtualBox backend [maintainer=@AmineChikhaoui]☆24Aug 10, 2023Updated 2 years ago
- Forward a Unix socket over SSH☆15Jun 8, 2015Updated 11 years ago
- Element helpers for reflex-dom☆12Aug 4, 2019Updated 6 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- Common Lisp binding for OpenCL API☆10Aug 15, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Linux /dev/input driver for CL☆10Dec 28, 2024Updated last year
- Computer graphics algebra library for SBCL☆50May 28, 2025Updated last year
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- The spec for "ANSI Escape sequences" in searchable, linkable form☆17Dec 24, 2019Updated 6 years ago
- An implementation of TLS and related specifications in Common Lisp☆57Sep 23, 2023Updated 2 years ago
- (ALPHA) Persistent, memory-mapped Common Lisp object store☆14Oct 26, 2020Updated 5 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 years ago