riccardotommasini / imkgLinks
The Internet Memes Knowledge Graph
☆14Updated last year
Alternatives and similar repositories for imkg
Users that are interested in imkg are comparing it to the libraries listed below
Sorting:
- Discussion of MeTTa programming with examples☆34Updated 3 months ago
- ☆41Updated this week
- a decentralized dataset generator and manipulator.☆11Updated last week
- a libp2p-backed daemon wrapping the functionalities of go-libp2p for use in other languages☆11Updated 10 months ago
- Mixer provides the translator engine and API interface to access Data Commons graph☆16Updated this week
- Data Science Ontology☆40Updated 3 months ago
- A TypeScript/JavaScript implementation of the RDF/JS data factory.☆11Updated this week
- Graph programming language☆130Updated this week
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆41Updated last year
- Euler Yet another proof Engine☆157Updated last week
- The meta meme☆15Updated 2 months ago
- Aigents Java Core Platform☆32Updated last year
- GPT-based language channel for NARS (ONA)☆36Updated 10 months ago
- The Heterogeneous Tool Set☆59Updated 2 months ago
- System, demo, and user-submitted applications built on LinkedDataHub☆12Updated last week
- mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfac…☆12Updated 7 years ago
- AllegroGraph Python client☆46Updated last week
- Runtime support for linkml generated models☆41Updated last week
- A TypeScript/JavaScript implementation of the RDF/JS store interface with support for quoted triples.☆14Updated this week
- program synthesis with neuro-symbolic differentiable interpreters☆16Updated 3 months ago
- Like ARC, but code to generate visual puzzles. 1D puzzles first.☆23Updated last year
- Neural Algorithmic Reasoning Tutorial☆12Updated 2 years ago
- A TypeScript library for building applications with RDF graph data.☆12Updated last month
- Lightweight Industrial Ontology Support☆20Updated 3 weeks ago
- A extensive list of all the awesome things around Bittensor.☆13Updated last year
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- Tool for building graph-based hierarchical knowledge representation systems☆87Updated 2 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Updated 3 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 4 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆56Updated 2 months ago