Examples of common usage of the Cyc APIs.
☆17Jan 18, 2018Updated 8 years ago
Alternatives and similar repositories for example-code
Users that are interested in example-code are comparing it to the libraries listed below
Sorting:
- The Java API suite for interacting with the Cyc inference engine and knowledge base.☆35Jan 15, 2019Updated 7 years ago
- ☆13Jun 25, 2015Updated 10 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 11 years ago
- Advanced support for working with RDF in Prolog.☆19Aug 31, 2024Updated last year
- Agda libraries for the semantic web☆25Nov 14, 2018Updated 7 years ago
- An archive of material related to the Cyc project.☆35Nov 13, 2025Updated 3 months ago
- The SWI-Prolog HTTP server and client libraries☆27Updated this week
- Synthesis Format Conversion Tool☆26Nov 18, 2025Updated 3 months ago
- Example Problems and Assignments for Prolog☆33Apr 23, 2013Updated 12 years ago
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆37Jan 10, 2026Updated last month
- Web Framework for SWI-Prolog☆43Dec 23, 2015Updated 10 years ago
- A collection of Prolog libraries.☆88Aug 31, 2024Updated last year
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated last week
- Useful vim indent, syntax, and filetype setting for NCL, fortran.☆11Feb 23, 2021Updated 5 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- A modern Prolog implementation written mostly in Rust.☆12Jan 18, 2026Updated last month
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- MPIA Python Tutorial Source☆14May 15, 2012Updated 13 years ago
- Launcher for Linux/mac from http://pastebin.com/38PiYpjK and http://appdb.winehq.org/objectManager.php?sClass=version&iId=28853☆10Mar 14, 2017Updated 8 years ago
- my attempt to learn prolog by solving the 99 problems in prolog.. the files named P<int><int>.pl are the original solutions while others …☆10Jun 24, 2011Updated 14 years ago
- ☆11Aug 11, 2025Updated 6 months ago
- Abstract Syntax Definition Language (ASDL) ported to C++☆13Aug 9, 2020Updated 5 years ago
- Security related data and information for all aspects of Grin☆14Aug 2, 2021Updated 4 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Multiple cursors for Emacs☆83Jan 21, 2026Updated last month
- Event data in a box, basically.☆15Nov 4, 2014Updated 11 years ago
- ⛔️ DEPRECATED - Live App SDK☆12Apr 15, 2024Updated last year
- Uses Node.js and Leap Motion to control an AR Drone and stream video to the browser.☆62Nov 20, 2013Updated 12 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 years ago
- A source which uses result of everything (http://www.voidtools.com/) for unite.vim☆15Apr 2, 2018Updated 7 years ago
- Style files for working with categorial grammars in LaTeX.☆13Oct 9, 2014Updated 11 years ago
- python for grin☆11Jan 9, 2024Updated 2 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.☆11Apr 12, 2023Updated 2 years ago