Popular repositories Loading
-
-
PC-Transformers
PC-Transformers PublicAn experiment on building a predictive coding based transformer architecture.
-
-
-
hyperon-openpsi
hyperon-openpsi PublicThis repository contains meTTa experiments for the OpenPsi Architecture.
-
haskell-telegram-bot
haskell-telegram-bot PublicA powerful and easy-to-use Haskell library that provides a comprehensive wrapper for the Telegram Bot API.
Repositories
- cordial-f1r3node Public
A Rust implementation of the Cordial Miners consensus protocol, designed as a pluggable alternative to CBC Casper in f1r3node. Blocklace DAG, supermajority finality, structural equivocation detection, and a bridge layer for the Casper trait.
- hyperdata-backend Public Forked from Dave-lab12/leyu-backend
Hyper Data API is a comprehensive data collection and task management platform built with NestJS
- Neuro-Symbolic-LLM Public
A JAX implementation of a PC/CC residual layer with a symbolic head on top of frozen LLMs — enabling neuro-symbolic reasoning, interpretability, and continual learning at a fraction of the cost of training full PC models from scratch.
- Pattern-miner-mm2 Public
- persistent-atp Public
An experimental prototype for a persistent proof search with the utilization of agentic orchestration
-
-
- Mathematics-ai-atp Public
Automated theorem prover integrating Graph Neural Networks (GNNs) with Probabilistic Logic Network( PLN) backward chaining
Top languages
Loading…
Most used topics
Loading…