riccardotommasini / imkgLinks
The Internet Memes Knowledge Graph
☆14Updated 11 months ago
Alternatives and similar repositories for imkg
Users that are interested in imkg are comparing it to the libraries listed below
Sorting:
- a decentralized dataset generator and manipulator.☆11Updated this week
- Aigents Java Core Platform☆32Updated 11 months ago
- 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
- a libp2p-backed daemon wrapping the functionalities of go-libp2p for use in other languages☆11Updated 8 months ago
- Python api for agents in minecraft☆11Updated 2 weeks ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Updated 3 years ago
- Discussion of MeTTa programming with examples☆33Updated last month
- ☆39Updated 2 weeks ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated 3 weeks ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆37Updated last year
- ☆18Updated 6 years ago
- GPT-based language channel for NARS (ONA)☆35Updated 8 months ago
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆177Updated last week
- Graph programming language☆119Updated this week
- Active Inference models of/for Ants☆20Updated last month
- A TypeScript library for building applications with RDF graph data.☆12Updated last month
- Experiments with interactive theorem provers, LLMs and formal systems☆21Updated 2 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- an experiment☆11Updated 9 months ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- Formalizing stochastic doubly-efficient debate☆111Updated last year
- The meta meme☆15Updated 3 weeks ago
- LILO: Library Induction with Language Observations☆88Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 5 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆83Updated 2 years ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆71Updated 8 months ago
- Unleash the full potential of exascale LLMs on consumer-class GPUs, proven by extensive benchmarks, with no long-term adjustments and min…☆25Updated 11 months ago
- Explanation Ontology Resource website☆11Updated last year
- AtomSpace Graph Database RocksDB backend☆18Updated this week
- The main repository integrating the LaTeX beamer-based slides☆27Updated 6 months ago