Symbol GitHub Repositories (2026) · Open Source Tools

Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

Automatic verification of LLVM optimizations

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

Composable mathematics tools for agents

🔬 A Swift library for parsing mach-o files to obtain various information.

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

Material Symbols for Home Assistant is a collection of 16,344 Google Material Symbols for use within Home Assistant. It uses the icon-set produced and maintained by iconify.

A tool for analyzing the size of compiled Go binaries, offering cross-platform support, detailed breakdowns, and multiple output formats.

Recreate historic battles and military scenarios in your browser

Kotlin Multiplatform library that generates JSON Schemas from your methods and classes both at compile-time via Kotlin Symbol Processing(KSP) and at runtime via reflection or kotlinx.serialization.

a rust-native Modelica compiler for fast, composable, scientific computing

A Kotlin Multi-Platform ecosystem for symbolic AI

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