A knowledge integration framework based on Wikidata
☆22Nov 6, 2025Updated 8 months ago
Alternatives and similar repositories for kif
Users that are interested in kif are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Aug 13, 2025Updated 11 months ago
- Social graphs and Random Walks☆11Jan 27, 2016Updated 10 years ago
- A gentle introduction to Isabelle and Isabelle/HOL☆20Mar 27, 2025Updated last year
- Utilities for working with RDF/Linked Data in JavaScript / TypeScript☆10Sep 12, 2022Updated 3 years ago
- InspectOmop is a lightweight python 3 package that assists in the extraction of electronic health record(EHR) data from relational databa…☆15Apr 14, 2026Updated 3 months 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.
- implementation of Session-Based Social Recommendation via Dynamic Graph Attention Networks☆10Apr 17, 2020Updated 6 years ago
- Jest utilities for RDF(JS)☆11Updated this week
- Logos for RDF formats (RDF/XML, N-Triples, RDFa, SPARQL, R2RML, SHACL) in PNG and SVG☆12Mar 21, 2019Updated 7 years ago
- LuaGravity is a reactive language that implements the synchronous approach for concurrency.☆37Nov 23, 2016Updated 9 years ago
- ☆19Jun 23, 2026Updated 3 weeks ago
- ☆12Oct 29, 2025Updated 8 months ago
- RDF Surfaces is classical first-order logic with negation in RDF☆10Feb 25, 2026Updated 4 months ago
- Graphical Analysis of Twitter Social Media Community using Gephi. This is a part of Academic Project Report under the course Programming-…☆16Apr 12, 2017Updated 9 years ago
- The Linked Time Series server☆11Sep 16, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Slides for my talk at Solid World January 2022☆10Jan 13, 2022Updated 4 years ago
- Implement of our TKDE paper: Hyperbolic Graph Learning for Social Recommendation☆13Jun 3, 2024Updated 2 years ago
- Core business logic of SolidOS☆12Jul 5, 2026Updated 2 weeks ago
- 🤖 A GitHub action that enables automerge for pull requests opened by a specified author☆13Mar 3, 2023Updated 3 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Jan 25, 2024Updated 2 years ago
- ☆13May 20, 2022Updated 4 years ago
- Official repo of "Graph Neural Network Framework For Post Engagement Prediction in Online social Media"☆17Jun 13, 2023Updated 3 years ago
- ☆12May 20, 2024Updated 2 years ago
- Comunica query engine support for the LDflex language☆16Aug 8, 2024Updated last year
- 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.
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 7 years ago
- RDF/JS idiomatic, native, enjoyable☆20Apr 2, 2026Updated 3 months ago
- A simple script to download your BlueSky social graph and visualize it in Graphext☆20Sep 15, 2024Updated last year
- Spark Social AppView Server☆22Jul 10, 2026Updated last week
- f3d, a.k.a. FREEDIUS, a.k.a. the Cartographic Modeling Environment, a.k.a. the Image Understanding Environment. Lisp-based geospatial im…☆10Nov 18, 2017Updated 8 years ago
- Build data-centric Hydra APIs☆13Apr 22, 2024Updated 2 years ago
- documentation for things like relations and parts of speech used by wordnets☆15Jun 18, 2024Updated 2 years ago
- Guide to Markdown Mode for Emacs☆57Jan 19, 2024Updated 2 years ago
- 🔮🐍 A package to help serve predictions of biomedical concepts associations as Translator Reasoner API☆12Feb 25, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- k theorem prover☆11Aug 16, 2022Updated 3 years ago
- Specification for Shape Trees☆14Sep 30, 2022Updated 3 years ago
- 🖼 A jQuery widget to query heterogeneous interfaces using Comunica SPARQL☆20Updated this week
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- Program for reading and writing linked data in various formats. Short for "RDF Babel".☆20Mar 24, 2025Updated last year
- 🌍 Comunica engine scripts for Web browsers☆16Jul 10, 2026Updated last week
- A bridge between Pydantic V2 models and RDF graphs☆20May 3, 2025Updated last year