Port of Cyc to Common Lisp
☆23Sep 1, 2020Updated 5 years ago
Alternatives and similar repositories for clyc
Users that are interested in clyc are comparing it to the libraries listed below
Sorting:
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆17Apr 17, 2023Updated 2 years ago
- common lisp bindings for Oculus Rift SDK's LibOVR☆11Sep 12, 2015Updated 10 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Updated this week
- Org mode exporter for Coleslaw☆10Aug 31, 2015Updated 10 years ago
- ☆10Jul 4, 2022Updated 3 years ago
- ☆26Apr 3, 2023Updated 2 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 6 years ago
- A rule engine based on Attempto Controlled English☆18Nov 1, 2024Updated last year
- A Common Lisp library for device-independent 3-d scene models and graphic rendering☆17May 6, 2012Updated 13 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆16May 29, 2015Updated 10 years ago
- Stat a file's size in Common Lisp.☆16Apr 26, 2025Updated 10 months ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Feb 6, 2022Updated 4 years ago
- Calculate various string metrics efficiently in Common Lisp (Damerau-Levenshtein, Hamming, Jaro, Jaro-Winkler, Levenshtein, etc.)☆22Jan 12, 2021Updated 5 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Feb 24, 2025Updated last year
- Dictionary and set data structures using hash array-mapped tries (HAMT)☆34Mar 13, 2020Updated 5 years ago
- Video file decoding in Common Lisp☆20Apr 8, 2017Updated 8 years ago
- Hygiene-compatible Lisp dialect embedded in CL☆21Dec 2, 2023Updated 2 years ago
- A library of conveniences for working with the Common Lisp SERIES package☆39Dec 9, 2019Updated 6 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Aug 17, 2023Updated 2 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- A portable single-layer timer wheel implementation.☆13Dec 8, 2025Updated 2 months ago
- crowd-defunding☆10Feb 3, 2026Updated last month
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- Emacs mode for interfacing with the Fluxus live coding environment☆10Dec 24, 2022Updated 3 years ago
- Blackboard implements a TupleSpace on top of redis☆38Jul 14, 2009Updated 16 years ago
- CL persistent object storage☆33Nov 10, 2024Updated last year
- Build system in Common Lisp☆63Jan 6, 2026Updated last month
- ☆81Jul 9, 2023Updated 2 years ago
- Look at your macros in a whole new scope.☆23Jun 11, 2017Updated 8 years ago
- AIRIS Public Release☆34Feb 22, 2026Updated last week
- ☆10Sep 23, 2021Updated 4 years ago
- prepl is a REPL implementation, also known as a Lisp listener☆14Jun 11, 2025Updated 8 months ago
- Optimized, pure Common Lisp linear-algebra library☆11Jan 30, 2016Updated 10 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Jan 25, 2024Updated 2 years ago
- Trivial WebSockets☆12Jan 30, 2018Updated 8 years ago
- Common lisp wrapper around the SOIL library (http://www.lonesock.net/soil.html)☆11Jul 14, 2018Updated 7 years ago