yiboyang / graphrelLinks
Intuitive graph theory explorer powered by d3
☆20Updated 8 years ago
Alternatives and similar repositories for graphrel
Users that are interested in graphrel are comparing it to the libraries listed below
Sorting:
- Parser for Attempto Controlled English (ACE)☆204Updated last year
- AceWiki is a semantic wiki based on controlled natural language.☆73Updated 8 months ago
- Semantics-Preserving Word Cloud Representation☆30Updated 8 years ago
- Version 4 of Carneades, implemented in Go☆51Updated 11 months ago
- Port of Aleph to SWI-Prolog☆50Updated last year
- Modal Logic Playground☆372Updated last year
- Community contributions to the Grammatical Framework☆61Updated last year
- Archive of monolithic GF repository until 2018-07-25☆189Updated 7 years ago
- A review of the deprecated Freebase knowledge base and Metaweb Query Language (MQL). A brief comparison of MQL and GraphQL.☆41Updated 8 years ago
- Sigma Knowledge Engineering Environment☆113Updated this week
- Chimera: Execution Engine for Case Management☆14Updated 4 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 4 years ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆10Updated 6 years ago
- Cleaning other people's dirty data.☆53Updated 4 years ago
- NetLogo model simulation visualizer (Beak) and the netlogoweb.org website 🐢☆61Updated this week
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated last week
- Customizable Knowledge Engineering Tool☆13Updated 9 years ago
- ClioPatria provides an RDF application platform☆56Updated last month
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆12Updated 6 years ago
- Enola 🕵🏾♀️ Holmes was an SRE.☆44Updated this week
- Tableau-based Theorem Prover for Natural Logic and Language☆118Updated 2 months ago
- Large lexicon for APE (~100,000 entries)☆30Updated 6 years ago
- Grammatical Framework core: compiler, shell & runtimes☆140Updated last week
- tools for common-logic☆21Updated 12 years ago
- OWL2 library for Prolog☆112Updated 6 years ago
- Java library for working with the QUDT ontology and data using it.☆15Updated last month
- The Heterogeneous Tool Set☆59Updated 7 months ago
- Web Native language Workbench with Projectional Web Editor☆71Updated last week
- Semantic Web scripting language☆104Updated 2 years ago
- The Artemis Java Test Sandbox. A JUnit 5 Extension for Easy and Secure Artemis Java Testing☆25Updated 2 weeks ago