Search Results for "matlab code generator"

MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. ...

A symbolic framework for C++, Python and Octave implementing automatic differentiation by source code transformation in forward and reverse modes on sparse matrix-valued computational graphs.

...This library aims at filling this gap, in particular considering discrete wavelet transform as described by Percival and Walden. This module started as translation of the wmtsa Matlab toolbox (http://www.atmos.washington.edu/~wmtsa/), so most naming conventions and most of the code structure follows their choices. The code uses a mix of python and cython for improved performance. The code reflects my needs and preferences, but contributions from others are welcome. The code has to some extent been tested, but bugs are to be expected.

Liberate your MATLAB code with LiberMate. Translate your software to free (libre) Python and the SciPy package. Are you a graduating student loosing access to MATLAB or an institution needing to share/collaborate scientific software with others.

Moved to GitHub in 2013. This SourceForge project is no longer updated. Source code and documentation: stokes: https://github.com/kichiki/stokes libstokes: https://github.com/kichiki/libstokes libiter: https://github.com/kichiki/libiter twobody: https://github.com/kichiki/twobody RYUON User's Manual: https://github.com/kichiki/RYUON-manual RYUON : many-particle simulation suite

libGo is a C++ class library containing all kinds of things that proved useful to me. Included are: - Linear algebra, using LAPACK and CBLAS - V4L(1) image grabber - Multithreading - Image containers (up to 3D) - Some simple optimisation code - Python embedding helper - Matlab interface - .. and other things, have a look at the HTML documentation! golib grew over many years, things I had use for have been added now and then. Some parts are better taken care of than others. If you find anything spectacularly wrong or badly documented, and need assistance, please drop me a line.