Repo-local codebase oracle for AI coding agents. Exact symbol search, semantic search, routes, and call graphs across 16 languages, from Python and Go to Dart and Swift.

Diff tool for comparing symbols in PDB files

symdl is a simple little tool, its function is very similar to dlsym, with symdl, you can pass any global C function name string, so as to achieve the dynamic call of C function.

Calculates symmetric difference between CSS and template classes.

N-Dimensional MD engine with symmetry group constraints written in C

symbolic differentiator, partly based on SICP examples. does basic algebraic simplifications on result.

SymDiff-Differential-Program-Verifier

Dumper for PSX SYM debug files

SymDer: Symbolic Derivative Approach to Discovering Sparse Interpretable Dynamics from Partial Observations

Gulp plugin for symdiff.

We have developed Symbol Demonstration Direct Preference Optimization (SymDPO) and validating its effectiveness across multiple benchmarks.

Symbolic differentation of algebraic expressions with Python and Tcl interfaces.

A python package that uses the Sympy and Astropy.units to do equation manipulation with dimensional analysis

Layout Symmetry Annotation for Analog Circuits with GraphNeural Networks

No description available

Grunt plugin for symdiff.

No description available

Check symbol dependencies of prebuilt proprietary ELF objects to compiled Android ROM

Morphologically Symmetric Reinforcement Learning for Ambidextrous Bimanual Manipulation.

A symbolic differentiation library for Lua

symdesign source

Compile-time symbolic differentiation for rust

SymDPoly: symmetry-adapted moment relaxations for noncommutative polynomial optimization

A simple tool to view the import & export symbols of executable.

GPU-powered symbolic differentiation in haskell

Extracts classes from CSS files.

A .apk emulator that will make our symbian os based phone able to run .apk files.

Developer documentation and System library

C++ header only template library designed to make it easier to write high-performance SIMD (SSE, AVX, Neon) and multi-threaded code.

No longer maintained: Verification tool for parallel C/C++ programs with LTL support