multimodal-art-projection / YuE
YuE2: frontier music generation with symbolic planning, zero-shot covers, and agentic music editing.
multimodal-art-projection / YuE
LaurieWired / GhidraMCP
MCP server and Ghidra plugin that lets LLM clients decompile binaries, rename symbols, and list functions, classes, imports, and exports.
symboladvocateshaft / KeyShot-Pro
Keyshot Pro 2025 complete standalone installation setup. Ready-to-run, fully activated desktop software utility.
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.
Inkloom-art / inkloom
Specialised AI models for logo design β a brand-analysis model turns a business into constraints, typography and symbol models construct the mark, and a composition engine produces real lockups and clear-space rules. Early access open.
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.
Kentucky-ai / opentakeoff
Open-source (AGPL-3.0) PDF takeoff for construction & flooring β the first engine an AI agent drives natively over MCP, not bolted on. Rooms measured on the wall faces, symbol sweeps, materials + quantities with full provenance, built for preconstruction. Runs entirely in your browser.
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.
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
proxysoul / Empryo
AI coding harness for desktop, terminal and CI. Maps your repo, edits code by symbol through AST and LSP, then runs your checks. Any model or the plan you already pay for. Get it at https://empryo.com
JerBouma / FinanceDatabase
This is a database of 300.000+ symbols containing Equities, ETFs, Funds, Indices, Currencies, Cryptocurrencies and Money Markets.
cea-sec / miasm
Reverse engineering framework in Python
dathere / qsv
Blazing-fast, Neuro-symbolic Data-Wrangling toolkit
google / ksp
Kotlin Symbol Processing API
giancarloerra / SocratiCode
Enterprise-grade (40m+ LOC) codebase intelligence, zero-setup, local & private Plugin/Skill/Extension or MCP: hybrid semantic search, polyglot dependency graphs, symbol-level impact analysis & call-flow, interactive HTML viewer, cross-project & branch-aware search, DB/API/infra knowledge. 61% less tokens, 84% fewer calls, 37x faster. Cloud in beta.
justrach / codedb
Zig code intelligence server and MCP toolset for AI agents. Fast tree, outline, symbol, search, read, edit, deps, snapshot, and remote GitHub repo queries.
hedyhli / outline.nvim
Fancy code outline sidebar to visualize and navigate code symbols in a tree hierarchy
CDFER / JLCPCB-Kicad-Library
A set of symbols, footprints and 3d models of the basic components from JLCPCB's smt assembly
google / material-design-icons
Material Design icons by Google (Material Symbols)
javaparser / javaparser
Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
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.
nanocurrency / nano-node
Nano is digital currency. Its ticker is: XNO and its currency symbol is: ΣΎ
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.
Zxilly / go-size-analyzer
A tool for analyzing the size of compiled Go binaries, offering cross-platform support, detailed breakdowns, and multiple output formats.
owncloud / ocis
:atom_symbol: ownCloud Infinite Scale
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
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++
ray-x / navigator.lua
Code analysis & navigation plugin for Neovim. Navigate codes like a breezeπ Exploring LSP and π²Treesitter symbols a piece of π° Take control like a boss π¦
Viglino / ol-ext
Cool extensions for Openlayers (ol) - animated clusters, CSS popup, Font Awesome symbol renderer, charts for statistical map (pie/bar), layer switcher, wikipedia layer, animations, canvas filters.
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
NepipenkoIgor / ngx-mask
Angular Plugin to make masks on form fields and html elements.
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.
AliveToolkit / alive2
Automatic verification of LLVM optimizations
prayag17 / Blink
Modern Desktop Jellyfin Client made with Tauri and React :atom_symbol:
maglnet / ComposerRequireChecker
A CLI tool to check whether a specific composer package uses imported symbols that aren't part of its direct composer dependencies
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)
business-science / tidyquant
Bringing financial analysis to the tidyverse
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.
mahaloz / decomp2dbg
A plugin to introduce interactive symbols into your debugger from your decompiler
zint / zint
A barcode encoding library supporting over 50 symbologies including Code 128, Data Matrix, USPS OneCode, EAN-128, UPC/EAN, ITF, QR Code, Code 16k, PDF417, MicroPDF417, LOGMARS, Maxicode, GS1 DataBar, Aztec, Composite Symbols and more.
spatialillusions / milsymbol
Military Symbols in JavaScript
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 π±ππ
cboard-org / cboard
Augmentative and Alternative Communication (AAC) system with text-to-speech for the browser
bartolli / codanna
Local code intelligence MCP server and CLI for AI coding agents