Gabriel Kronberger's repositories
autodiff
A .NET library that provides fast, accurate and automatic differentiation (computes derivative / gradient) of mathematical functions.
Language:C#MIT000
Metatheory.jl
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Language:JuliaMIT000
operon
Fork of operon for analysis of local optimization.
Language:C++MIT000