dathere / qsv

Blazing-fast, Neuro-symbolic Data-Wrangling toolkit

sharksforarms / deku

Declarative binary reading and writing: bit-level, symmetric, serialization/deserialization

symbolica-dev / symbolica

Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.

ad-si / Woxi

Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

NucleoidAI / Nucleoid

Synthesized Logic Language for World Models 🌱🐋🌍

bartolli / codanna

Local code intelligence MCP server and CLI for AI coding agents

getsentry / symbolic

Stack trace symbolication library written in Rust

JordyZomer / lemmalog

A Datalog engine for LLM agent memory: stratified rules, provenance-tracked facts, incremental derivation, and an MCP server that lets your harness use it as a shared brain.

sympozium-ai / celln

Run agents in isolated cells that borrow verified tools instead of rebuilding Linux environments.

rowanG077 / Resonance

A modern Tales of Symphonia re-implementation

maksympetkus / multitable

A Faster Hash Table at any Physical Load Factor up to and Including One

Pixel-CLI / pixel

A tool that replaces everything that can be deterministic in repository work: search, symbols, callers, task scope, history, review and Git from one local CLI, so your AI coding agent spends its tokens on the hard part.