Structured Outputs
- generative-ai
- llms
- prompt-engineering
- symbolic-ai
Repository Index
47,133 repositories indexed
1–23 of 23 · Most stars
Mac Mouse Fix - Make Your $10 Mouse Better Than an Apple Trackpad!
- mouse
- mouse-events
- mac-mouse
- mousewheel
Gorgonia is a library that helps facilitate machine learning in Go.
- machine-learning
- artificial-intelligence
- neural-network
- computation-graph
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
- reverse-engineering
- symbolic-execution
- binary-analysis
- program-analysis
Blazing-fast, Neuro-symbolic Data-Wrangling toolkit
- csv
- data-wrangling
- opendata
- data-engineering
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
- optimization
- nonlinear
- derivatives
- code-generation
Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
Genetic Programming in Python, with a scikit-learn inspired API
- genetic-programming
- machine-learning
- python
- scikit-learn
SymEngine is a fast symbolic manipulation library, written in C++
- math
- computer-algebra
- c-plus-plus
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
- gym
- pybullet
- reinforcement-learning
- control
Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
- csharp
- algebra
- integration
- latex
A modern supercompiler for call-by-value functional languages
Math.NET Symbolics
- computer-algebra
- mathnet
- dotnet
- fsharp
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
- ai-agents
- mathematics
- neuro-symbolic
- reasoning
Symbolic regression in seconds.
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
C# math expression library with symbolic computation support
- csharp
- dotnet
- expression-parser
- math
Symbolic/concolic execution of Android apps
PowerToys Run module to permit HTML and Agda symbolic input (via Run) anywhere!
Single-header C++ JIT compiler/evaluator for mathematical expressions
- expression-evaluator
- expression-parser
- formula-engine
- formula-evaluator
A common interface used for modeling Mathematical Programs (e.g., Convex Optimization problems) in the language Go (Golang).
- convex-optimization
- linear-programming
- optimization
- quadratic-programming