envirosolutionspl / arcskin
QGIS plugin that gives QGIS an ArcGIS Pro-inspired interface: ribbon, Pro-style panes, map view tabs, status bar, light flat icons, default symbology and colour ramps. One click on, one click off. Not affiliated with Esri.
dottxt-ai / outlines
Structured Outputs
sympy / sympy
A computer algebra system written in pure Python
multimodal-art-projection / YuE
YuE2: frontier music generation with symbolic planning, zero-shot covers, and agentic music editing.
JerBouma / FinanceDatabase
This is a database of 300.000+ symbols containing Equities, ETFs, Funds, Indices, Currencies, Cryptocurrencies and Money Markets.
astroautomata / PySR
Symbolic Learning in Python and Julia
cea-sec / miasm
Reverse engineering framework in Python
jgravelle / jcodemunch-mcp
Cut AI token costs 95%+ on code exploration. The leading MCP server for precise, symbol-level GitHub code retrieval via tree-sitter AST. Works with Claude Code, Cursor & any MCP client. 313B+ tokens saved.
cantools / cantools
CAN bus tools.
marin-m / vmlinux-to-elf
A tool to recover a fully analyzable .ELF from a raw kernel, through extracting the kernel symbol table (kallsyms)
ExtensityAI / symbolicai
A neurosymbolic perspective on LLMs
tomerfiliba-org / rpyc
RPyC (Remote Python Call) - A transparent and symmetric RPC library for python
kennethreitz / pytheory
Music Theory for Humans.
pschanely / CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
Mathics3 / mathics-core
An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execute them.
ebroecker / canmatrix
Converting Can (Controller Area Network) Database Formats .arxml .dbc .dbf .kcd ...
GradientHQ / symphony-coord
โ
pydata / patsy
Describing statistical models in Python using symbolic formulas
SynaLinks / synalinks-skills
Coding Agents skills for Synalinks OSS
Natooz / MidiTok
MIDI / symbolic music tokenizers for Deep Learning models ๐ถ
symgraph / IDAssist
AI-Powered Reverse Engineering Plugin for IDA Pro
blacklanternsecurity / badsecrets
A library for detecting known secrets across many web frameworks
mahaloz / decomp2dbg
A plugin to introduce interactive symbols into your debugger from your decompiler
pyRiemann / pyRiemann
Machine learning for multivariate data through the Riemannian geometry of positive definite matrices in Python
google / pyglove
Manipulating Python Programs
devitocodes / devito
DSL and compiler framework for automated finite-differences and stencil computation
CDFER / JLCPCB-Kicad-Library
A set of symbols, footprints and 3d models of the basic components from JLCPCB's smt assembly
YosysHQ / sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
morluto / jacobian
Composable mathematics tools for agents
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.
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
Blackwellboy / model-serving-minefield
Community registry of LLM serving-path traps that produce confidently wrong measurements: templates, tool parsers, reasoning fields, quant kernel paths, CUDA toolchains, KV allocation, eval harnesses, versioning. Symptom-first, with the check that catches each.
Travelerrrrrr / LCSC3D
Windows ไพฟๆบๅทฅๅ ท๏ผๆ็ซๅ C ็ผๅทๆน้ไธ่ฝฝ STEP/OBJ 3D ๆจกๅ๏ผๅฏผๅบ Altium Designer SchLib/PcbLib ๅ ไปถๅบ๏ผ้ข่ง 3Dใ็ฌฆๅทไธๅฐ่ฃ ๏ผๆฏๆ่ชๆดๆฐใ
GGGODLIN / claude-pr-review
Multi-axis PR review orchestration for Claude Code โ 5 independent review perspectives, symmetric cross-verification, deterministic coverage assertion
OmniHarness / OmniHarness
Official implementation of OmniHarness: Harnessing Generalizable Visual Generation via Symbolic Policy Learning.
scy-v / VLA-Precision
VLA-Precision: Asymmetric Co-Bootstrapping for Efficient Real-World Online RL of Vision-Language-Action Models
SP8ESA / ESP32-DATV
DVB-S digital amateur TV transmitter using a bare ESP32-C3 โ up to 1 MSymbol/s QPSK, 8PSK, 16APSK in the 13 cm band, with no additional RF hardware.
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.
Beate-Suy-Zhang / EvoFuse
TPAMI 2026 | Symbiotic Evolutionary Learning for Task-Adaptive Infrared and Visible Image Fusion
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.