Search Results for "c code compiler"

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. ...

Madagascar is a software package for geophysical data processing and reproducible numerical experiments. The package mission is to provide a convenient environment for researchers working with digital image and data processing in geophysics and related fields.

...It is developed at CEA, the French Atomic Energy Commission (http://www.cea.fr). It provides various tools for: - data analysis - sampling - statistical modeling - optimisation - sensitivity analysis - uncertainty analysis - running code on high performance computers - etc. Thanks to ROOT, it is easily scriptable in CINT (c++ like syntax) and Python. Is is available both for Unix and Windows platforms (a dedicated platform archive is available on request). Note : if you have downloaded version 3.12 before the 8th of february, a patch exists for a minor bug on TOutputFileKey file, don't hesitate to ask us.

Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. ATC Online Alpha: https://advantrigoncalc.sourceforge.io/atc/ More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by...

MAGeCK2 is here: https://github.com/davidliwei/mageck2 Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout (MAGeCK) is a computational tool to identify important genes from the recent genome-scale CRISPR-Cas9 knockout screens technology. For instructions and documentations, please refer to the wiki page. MAGeCK is developed by Wei Li and Han Xu from Dr. Xiaole Shirley Liu's lab at Dana-Farber Cancer Institute/Harvard School of Public Health, and is maintained by Wei Li lab at...

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.

Software for speech research. It includes programs and libraries for signal processing, along with general purpose scientific libraries. Most of the code is in Python, with C/C++ supporting code. Also, contains code releases corresponding to publishe

ASCEND is a modelling environment and solver for large or small systems of non-linear equations, for use in engineering, thermodynamics, chemistry, physics, mathematics and biology. Solvers for both steady and dynamic (NLA & DAE) problems, are provid

mlpy is a Python module for Machine Learning built on top of NumPy/SciPy and of GSL. mlpy provides high-level functions and classes allowing, with few lines of code, the design of rich workflows for classification, regression, clustering and feature selection. mlpy is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License version 3. mlpy is available both for Python >=2.6 and Python 3.X.

*Project home now moved to Google Code.* Numerical computing and plotting tools for IronPython.

Linear Algebra Common Expressions (LACE) is a C++ templated library which allows you to operate with matricies and vectors inside your code as easy as on the whiteboard.

A module for Python which provides interface to the PARI/GP computing library. We propose to write programs for PARI using Python scripting language. Python makes code much more clean, readable and manageable than the old-style PARI scripts.

C and Python code for basic probability and statistics contains classes for Combination, Permutation, and Cartesian Product.

Packaging code for SnapPea, a program for creating and studying hyperbolic 3-manifolds. This is for packaging ONLY. SnapPea itself (and its successor SnapPy) can be found at: http://www.math.uic.edu/t3m/SnapPy/

Katrin repository for simulation code being developed out of the USA universities

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!