A framework for building native applications using React

GPT4All: Chat with Local LLMs on Any Device

LLM inference in C/C++

The official mirror of the V8 Git repository

The Z3 Theorem Prover

Transparent file encryption in git

The OpenCog (hyper-)graph database and graph rewriting system

Data Structure and Algorithm (DSA) contributions

MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search. See also AS-MOSES https://github.com/opencog/asmoses but kept to guaranty backward compatibility.

Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.

Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)