AccelerationNet / static-analysisView external linksLinks
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
Sorting:
- Access TrueType fonts with Common Lisp☆25Feb 14, 2025Updated last year
- A Common Lisp rewrite of Markdown☆49Oct 7, 2023Updated 2 years ago
- support for non-linux platforms (tested on Darwin) and other misc updates☆43Jan 29, 2015Updated 11 years ago
- Apertium linguistic data for English☆10Dec 31, 2025Updated last month
- Official website for the TRON (Token Reduced Object Notation) format☆36Nov 29, 2025Updated 2 months ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- clx overlay☆11Updated this week
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 3 years ago
- Bluish gray theme for Hacker News.☆13Jun 8, 2023Updated 2 years ago
- A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!☆12Jun 26, 2020Updated 5 years ago
- Create full directories using text-based template files.☆12Jan 15, 2017Updated 9 years ago
- A sample notifications-based game☆10Dec 2, 2016Updated 9 years ago
- REST APIs made easy☆11May 25, 2015Updated 10 years ago
- An Java desktop application focusing on providing organized data access to DCS World net, export and mission environment runtime.☆11May 20, 2022Updated 3 years ago
- date and time library for common lisp☆16Mar 26, 2016Updated 9 years ago
- Dragonmark Web Development Tools☆10Nov 23, 2015Updated 10 years ago
- fast IP to CIDR lookup, longest prefix match in golang☆11Feb 3, 2024Updated 2 years ago
- zsort is a collection of portable sorting algorithms in Common Lisp.☆29Apr 23, 2012Updated 13 years ago
- Haml for Common Lisp☆15Jun 9, 2017Updated 8 years ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 years ago
- Clojure Extended Library☆22Nov 29, 2016Updated 9 years ago
- ☆10Oct 3, 2020Updated 5 years ago
- Example application to show how to do file upload in vanilla Rails 4.☆11Nov 12, 2016Updated 9 years ago
- Routing library taking advantage of the MOP☆13Jul 1, 2018Updated 7 years ago
- Model for MongoDB (Ruby)☆11Nov 6, 2023Updated 2 years ago
- Prolog Technology Theorem Prover☆12Jun 19, 2024Updated last year
- Viralheat Sentiment Analysis Gem☆19Sep 26, 2011Updated 14 years ago
- A lisp interpreter☆13Oct 1, 2020Updated 5 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
- Google Calendar CLI written in Rust☆13Apr 3, 2025Updated 10 months ago
- Common Lisp implementation of Trie data structure.☆13Jan 10, 2023Updated 3 years ago
- Objective-C bridge for Gambit Scheme☆44May 18, 2013Updated 12 years ago
- Open Syobon Action (forked from http://sourceforge.net/projects/opensyobon/ v0.9 RC2)☆12Sep 25, 2022Updated 3 years ago
- Homekit HAP-NodeJS - Integration of HAP-NodeJS with WS2812(NeoPixel) ,DHT11 ,SONOFF, Raspberry Pi Camera☆12Mar 26, 2017Updated 8 years ago
- A JavaScript port of the GNU Ballistics Library☆14Nov 24, 2020Updated 5 years ago
- ☆13Nov 30, 2018Updated 7 years ago
- Bookmarklet that checks the current page's address against Hacker News☆14Jan 9, 2012Updated 14 years ago
- Conversational Agent Research Toolkit☆11May 18, 2024Updated last year
- One time passwords in Go☆29Jun 16, 2024Updated last year