Rigorous Proofs via Adversarial AI Agents
☆134Jan 19, 2026Updated last month
Alternatives and similar repositories for alethfeld
Users that are interested in alethfeld are comparing it to the libraries listed below
Sorting:
- A Quadratic Unconstrained Binary Optimization (QUBO) solver library using quantum and classical approaches☆18Updated this week
- The Density Functional Theory for Electrolyte Solutions☆10Sep 13, 2022Updated 3 years ago
- Darcy scale image analysis toolbox☆12Updated this week
- The up-to-date code for Mesoscale Individualized NeuroDynamic modeling and filtering☆10Jul 22, 2021Updated 4 years ago
- Global analysis platform for fluorescence data☆12Jan 6, 2026Updated 2 months ago
- Generalized sparse regression for continuous and discrete data☆12Feb 23, 2026Updated 2 weeks ago
- Surface version of the M-CRIB atlases.☆14Oct 10, 2025Updated 5 months ago
- Diffusion for EEG☆11Jan 2, 2023Updated 3 years ago
- Numpy compatible polynomial representation☆12Jan 2, 2026Updated 2 months ago
- Repositório das notas de aula e material computacional para a disciplina de Modelagem Matemática do Instituto de Matemática da UFRJ.☆12Jul 27, 2022Updated 3 years ago
- ☆10May 29, 2020Updated 5 years ago
- Material for my course of Computational Physics (3rd semester, obligatory), in National and Kapodistrian University of Athens☆16Jan 9, 2026Updated 2 months ago
- This repository houses the code for the community website http://www.probabilistic-numerics.org☆36Apr 27, 2020Updated 5 years ago
- Mesh adaptation utilities for coastal ocean modelling in Firedrake and Thetis.☆11Aug 3, 2021Updated 4 years ago
- Python Implementation of multiple unsupervised segmentation models and evaluating them through multiple evaluation metrics☆10Jun 12, 2021Updated 4 years ago
- Thermodynamic calculations and diagrams for geochemistry☆10Feb 17, 2026Updated 2 weeks ago
- Various tools for EEG/MEG data analysis.☆10Nov 6, 2025Updated 4 months ago
- Calculates the vapor-liquid equilibria (pressure versus temperature) phase envelope using Michelsen's continuation method.☆11Nov 12, 2022Updated 3 years ago
- A Code for Evaluating the IAPWS-95 Equation-of-State Model for Water☆11Jul 30, 2020Updated 5 years ago
- Running ImJoy plugins in Jupyter notebooks☆11Jan 10, 2023Updated 3 years ago
- Python wrapper around KINSOL (from the sundials library)☆10Nov 24, 2025Updated 3 months ago
- ☆10Aug 14, 2024Updated last year
- JAX-based differentiable Kohn-Sham Density Functional Theory implementation for training quantum(-enhanced) neural exchange-correlation f…☆19Jan 29, 2026Updated last month
- FoKL-GP implements Karhunen-Loève decomposed Gaussian processes with built-in forward variable selection. Decomposed GPs are key to embed…☆18Dec 6, 2025Updated 3 months ago
- Global Sensitivity reporting for Explainable AI☆14Nov 11, 2024Updated last year
- Analysis Tool for Astrophysical Simulation Data in the Julia Language☆14Oct 4, 2025Updated 5 months ago
- A C++/Python library for numerical optimization calculations☆14Mar 6, 2025Updated last year
- See the upstream repo and https://github.com/aliraeini/porescale☆12Aug 28, 2025Updated 6 months ago
- EPIDEMIC is an easy-to-run Matlab/Octave educational toolkit for epidemiological analysis.☆17Apr 4, 2025Updated 11 months ago
- Simulating Realistic Human Scanpaths in Dynamic Real-World Scenes☆15Mar 3, 2026Updated last week
- A template for NIH style grants in Latex☆12Jan 16, 2017Updated 9 years ago
- Open-source implementation of PC-SAFT equation of state☆12Oct 20, 2022Updated 3 years ago
- A simple software for constructing artificial binary microstructures in 2D or 3D☆13May 1, 2023Updated 2 years ago
- Automatic differentiation of FEniCS and Firedrake models in Julia☆13Mar 21, 2021Updated 4 years ago
- ☆13Feb 4, 2022Updated 4 years ago
- Dasslc is a solver for differential-algebraic equations inspired by DASSL. A python module for dasslc is provided.☆18Mar 7, 2024Updated 2 years ago
- Python for fluid dynamics problems - set of support scripts.☆12Dec 19, 2015Updated 10 years ago
- Load cases for tubulars☆12Jun 22, 2022Updated 3 years ago
- Experimental paradigm functions.☆12Updated this week