multimodal-art-projection / YuE

YuE2: frontier music generation with symbolic planning, zero-shot covers, and agentic music editing.

astroautomata / PySR

Symbolic Learning in Python and Julia

1105216375-alt / resimind

Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.

morluto / jacobian

Composable mathematics tools for agents

dottxt-ai / outlines

Structured Outputs

noah-nuebling / mac-mouse-fix

Mac Mouse Fix - Make Your $10 Mouse Better Than an Apple Trackpad!

casadi / casadi

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript

cea-sec / miasm

Reverse engineering framework in Python

dathere / qsv

Blazing-fast, Neuro-symbolic Data-Wrangling toolkit

JonathanSalwan / Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

klee / klee

KLEE Symbolic Execution Engine

cksystemsteaching / selfie

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

ExtensityAI / symbolicai

A neurosymbolic perspective on LLMs

SciML / ModelingToolkit.jl

An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations

symforce-org / symforce

Fast symbolic computation, code generation, and nonlinear optimization for robotics

JuliaSymbolics / Symbolics.jl

Symbolic programming for the next generation of numerical software

symengine / symengine

SymEngine is a fast symbolic manipulation library, written in C++

pschanely / CrossHair

An analysis tool for Python that blurs the line between testing and type systems.

form-dev / form

The FORM project for symbolic manipulation of very big expressions

AliveToolkit / alive2

Automatic verification of LLVM optimizations

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.

pydata / patsy

Describing statistical models in Python using symbolic formulas

ad-si / Woxi

Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

SynaLinks / synalinks-skills

Coding Agents skills for Synalinks OSS

Natooz / MidiTok

MIDI / symbolic music tokenizers for Deep Learning models 🎶

ASC-Community / AngouriMath

Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

astroautomata / SymbolicRegression.jl

Distributed High-Performance Symbolic Regression in Julia

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

NucleoidAI / Nucleoid

Synthesized Logic Language for World Models 🌱🐋🌍

google / pyglove

Manipulating Python Programs

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

stp / stp

Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.

JuliaSymbolics / SymbolicUtils.jl

Symbolic expressions, rewriting and simplification

jiggzson / nerdamer

a symbolic math expression evaluator for javascript

getsentry / symbolic

Stack trace symbolication library written in Rust

S2E / s2e

S2E: A platform for multi-path program analysis with selective symbolic execution.

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.

JianouJiang / symbolic-regression-pe-closure

Code and data records: Combining symbolic regression and turbulence physics to develop a compact inner-layer production-dissipation closure — Jiang & Rosic, Physics of Fluids 38, 095140 (2026), Featured Article. doi:10.1063/5.0347368

OmniHarness / OmniHarness

Official implementation of OmniHarness: Harnessing Generalizable Visual Generation via Symbolic Policy Learning.

KamaiEnterprises / aec-geometric-bench

AEC-Geometric-Bench: geometric and symbolic data extraction from PDF construction drawings. 312 sheets scored, 15 released with ground truth and a runnable scorer.

Staatsgeheim / MathKernel

Evidence-aware multi-engine mathematics runtime for LLMs: exact, symbolic, formal, certified-interval and numeric computation with typed MathIR, trust labels, and full provenance

susyimes / LAIN-agreement

铃音的记忆写入协议 - an informatics protocol: fragmented, cue-based, symbolic, highly compressed information for AI agents; usable for memory writing and transmission, decodable approximately or via retrieval.

1hachem / lisptc

A lisp built for self-modifying AI agents

AlexRed29 / GTA_Symlink_Generator

"GTA Symlink Generator" is a tool to create a GTA installation (III/Vice City/San Andreas) with "Symlinks". Perfect for saving disk space!

aadya940 / scikit-verify

Trace Python+NumPy programs into SymPy formulas and check them symbolically, across all branches

the0cp / beatflow-skill

AI music composition skill with a Python DSL, musical diagnostics, and deterministic multi-track MIDI rendering.

wzh4869 / AppPorts

📦 A macOS utility to seamlessly migrate applications to external storage and reclaim local disk space.【一款 macOS 工具，无缝迁移应用到外部存储并自动建立链接，释放宝贵的本地空间】