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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆17Apr 17, 2023Updated 2 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Mar 1, 2026Updated 3 weeks ago
- ☆26Apr 3, 2023Updated 2 years ago
- Calculate various string metrics efficiently in Common Lisp (Damerau-Levenshtein, Hamming, Jaro, Jaro-Winkler, Levenshtein, etc.)☆22Jan 12, 2021Updated 5 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 6 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Feb 6, 2022Updated 4 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- ☆10Jul 4, 2022Updated 3 years ago
- A rule engine based on Attempto Controlled English☆18Nov 1, 2024Updated last year
- Org mode exporter for Coleslaw☆10Aug 31, 2015Updated 10 years ago
- common lisp bindings for Oculus Rift SDK's LibOVR☆11Sep 12, 2015Updated 10 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- A Common Lisp library for device-independent 3-d scene models and graphic rendering☆17May 6, 2012Updated 13 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆16May 29, 2015Updated 10 years ago
- An implementation of TLS and related specifications in Common Lisp☆57Sep 23, 2023Updated 2 years ago
- crowd-defunding☆10Feb 3, 2026Updated last month
- Dictionary and set data structures using hash array-mapped tries (HAMT)☆34Mar 13, 2020Updated 6 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Feb 24, 2025Updated last year
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Aug 17, 2023Updated 2 years ago
- CL persistent object storage☆33Nov 10, 2024Updated last year
- Flamegraph-style visualization of sb-sprof results in CLIM☆17Apr 3, 2023Updated 2 years ago
- Stat a file's size in Common Lisp.☆16Apr 26, 2025Updated 10 months ago
- A pure-lisp DNS record client☆16Aug 13, 2025Updated 7 months ago
- A library for reading, writing, and representing structures from binary storage☆19Aug 13, 2025Updated 7 months ago
- ☆10Sep 23, 2021Updated 4 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
- A compatibility layer for Gray streams including extensions☆14Nov 24, 2025Updated 3 months ago
- Extracting action sequences and generating domain models.☆15Dec 18, 2022Updated 3 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Jan 25, 2024Updated 2 years ago
- prepl is a REPL implementation, also known as a Lisp listener☆14Jun 11, 2025Updated 9 months ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆45Mar 9, 2026Updated 2 weeks ago
- Build system in Common Lisp☆63Jan 6, 2026Updated 2 months ago
- Emacs mode for interfacing with the Fluxus live coding environment☆10Dec 24, 2022Updated 3 years ago
- A portable single-layer timer wheel implementation.☆13Dec 8, 2025Updated 3 months ago
- emacs for data☆12Aug 1, 2018Updated 7 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 3 years ago
- a CLOS projection for RDF repositories☆26May 22, 2019Updated 6 years ago