experiments in lisp static analysis
☆12Oct 12, 2015Updated 11 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:
- a worker bee for application hives☆12Mar 24, 2026Updated 7 months ago
- Common Lisp interface to D-Wave's Python Pack for adiabatic quantum computer energy programming☆11Jul 30, 2015Updated 11 years ago
- Development environment based on SputnikVM and etcommon☆14Oct 24, 2018Updated 8 years ago
- JSLint for Emacs Flymake using V8☆14Jul 29, 2015Updated 11 years ago
- Source code for a deployed web application (see https://lisper.ch/Ekagra)☆11May 23, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Lightweight Columnar Database in Common Lisp☆11Jun 4, 2018Updated 8 years ago
- Loosely-coupled collection of audio libraries in Common Lisp☆33Oct 23, 2024Updated 2 years ago
- plaintext presentation tool (moved to suckless.org)☆18Nov 11, 2015Updated 10 years ago
- How Tensorflow's conv2d_transpose works☆10Aug 8, 2017Updated 9 years ago
- A super-amazing OS that will bring world peace.☆16Jun 2, 2013Updated 13 years ago
- Easy form generator☆11Jan 4, 2014Updated 12 years ago
- Tramp integration for LXC containers☆12Jan 19, 2023Updated 3 years ago
- Open Syobon Action (forked from http://sourceforge.net/projects/opensyobon/ v0.9 RC2)☆13Sep 26, 2026Updated last month
- Proving shortest paths with recursive SNARKs☆15Mar 9, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A JavaScript port of the GNU Ballistics Library☆15Nov 24, 2020Updated 5 years ago
- This repository currently contains just SAFE.Tool - a dotnet tool that might serve as an utility to manage SAFE projects.☆13Mar 18, 2020Updated 6 years ago
- Trick app to let it think time goes slower or faster, inspired by Speed Gear.☆14May 9, 2015Updated 11 years ago
- an one-click-installer shell script helping openSUSE new starters ( especially from China ) to install various applications including mul…☆11Jul 26, 2015Updated 11 years ago
- Tomate is a tool for pomodoro technique.☆10Mar 15, 2012Updated 14 years ago
- cl-emoji provides the Unicode emoji characters.☆14Mar 2, 2024Updated 2 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
- CLX reimplementation on XCB/Xlib☆19Jan 16, 2023Updated 3 years ago
- Forward a Unix socket over SSH☆15Jun 8, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Hacker News in the terminal - written in common-lisp☆22Jul 9, 2012Updated 14 years ago
- Thinking through AI agents and the neuro-symbolic definition from an early LLM agent paper called MRKL. I'm sharing my reasoning behind u…☆12Nov 23, 2024Updated last year
- A Common Lisp binding for the Apache Thrift framework☆20Dec 5, 2017Updated 8 years ago
- A traversal fusion EDSL for Common Lisp☆23Feb 5, 2022Updated 4 years ago
- Element helpers for reflex-dom☆12Aug 4, 2019Updated 7 years ago
- NixOps VirtualBox backend [maintainer=@AmineChikhaoui]☆24Aug 10, 2023Updated 3 years ago
- IronKernel is a dialect of the Kernel programming language for the .NET framework.☆17Oct 25, 2026Updated last week
- 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
- BLS signature implementation on the BLS12-381 curve that meets the IETF spec.☆19Sep 28, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- first attempt for a common lisp argument parser☆17Dec 8, 2015Updated 10 years ago
- ☆36Updated this week
- Canister that tops up cycles to a list of canisters + its javascript script☆18Apr 9, 2021Updated 5 years ago
- Libraries for Ypsilon Scheme☆27Jun 10, 2010Updated 16 years ago
- 《X开发者入门手册》，中文版《The X New Developer's Guide》☆12Oct 28, 2014Updated 12 years ago
- ECL Common Lisp for the iOS devices (iPhone & iPad)☆25Jun 4, 2011Updated 15 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 years ago