aesara-devs / aesara Star 1.2k Code Issues Pull requests Discussions Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.theanoautomatic-differentiationtranspilertensorssymbolic-computationoptimizing-compileroptimizing-compilersaesaraterm-rewriting-system Updated Nov 15, 2024Python
Ant13731 / simile Star 0 Code Issues Pull requests High level optimizations for a high level formal methods-based programming languagepythonresearchcompileroptimizationjupyter-notebookset-theoryformal-methodssimulation-modelingspecification-languagehigh-level-languageoptimizing-compiler Updated Aug 8, 2026Python