The CSNePS Knowledge Representation and Reasoning System
☆32Apr 23, 2025Updated last year
Alternatives and similar repositories for CSNePS
Users that are interested in CSNePS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆19Apr 17, 2023Updated 3 years ago
- A Clojure wrapper for the Java version of the PowerLoom knowledge representation and reasoning system☆13Feb 17, 2012Updated 14 years ago
- Clojure text parser with annotations using Stanford CoreNLP☆17Oct 20, 2015Updated 11 years ago
- JSON representation of first-order logic formulas☆13Aug 30, 2020Updated 6 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.
- SNARK - SRI's New Automated Reasoning Kit☆19Feb 24, 2025Updated last year
- The Internet Reasoning Service☆18Feb 9, 2012Updated 14 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆17Feb 6, 2022Updated 4 years ago
- A reasoning system for large knowledge bases.☆34Jul 21, 2026Updated 3 months ago
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated 2 years ago
- Port of Cyc to Common Lisp☆27May 11, 2026Updated 5 months ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆14Nov 9, 2021Updated 4 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆16May 29, 2015Updated 11 years ago
- Cache-friendly fast fourier transform in pure CL☆12Dec 25, 2011Updated 14 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A Prolog engine written in Solidity.☆16Feb 19, 2022Updated 4 years ago
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆21Dec 20, 2024Updated last year
- Prototype object system for Common Lisp and more. KR: Constraint-Based Knowledge Representation☆15Nov 20, 2024Updated last year
- Blender addon for importing and exporting of model files from games running on the Lithtech Jupiter Engine.☆14Jun 20, 2018Updated 8 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 4 years ago
- Common Lisp Music Notation processor for different output formats (MusicXML, Lilypond, cmn) by David Psenicka. See also cm-fomus repo her…☆17Nov 16, 2025Updated 11 months ago
- Original LISP version of Meta-AQUA☆14Sep 3, 2018Updated 8 years ago
- Turn your keyboard into a "piano" in Emacs☆19Oct 5, 2023Updated 3 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆25Mar 29, 2026Updated 7 months ago
- A place to play with shaders in CEPL☆16Apr 2, 2018Updated 8 years ago
- Example of using s7 Scheme with web assembly and emscripten☆16Jul 29, 2023Updated 3 years ago
- Common Lisp Audio Video Engine☆20May 27, 2021Updated 5 years ago
- Free software for accessing MiniDisc devices☆11Oct 23, 2023Updated 3 years ago
- Stat a file's size in Common Lisp.☆17Apr 26, 2025Updated last year
- Clojure bindings for Scryer Prolog☆19Feb 16, 2025Updated last year
- ☆11Jun 4, 2026Updated 4 months ago
- Lisp-based OWL Full Processor on top of Common Lisp Object System (CLOS), See http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htm☆20Mar 23, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Middleman task for boot☆20Jul 21, 2020Updated 6 years ago
- SPAZ Radio Android App☆15Jun 10, 2018Updated 8 years ago
- Clojure bindings for CozoDb☆27Sep 16, 2023Updated 3 years ago
- ☆13Jun 25, 2015Updated 11 years ago
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆36Nov 30, 2022Updated 3 years ago
- Efficient MeTTa language implementation in Prolog.☆31Updated this week
- Unstable egglog standard library.☆18Updated this week