Rigorous Proofs via Adversarial AI Agents
☆137Jan 19, 2026Updated 2 months ago
Alternatives and similar repositories for alethfeld
Users that are interested in alethfeld are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Quadratic Unconstrained Binary Optimization (QUBO) solver library using quantum and classical approaches☆19Updated this week
- B-cell Hybrid Immune Variant Engine☆12Updated this week
- Set of Lecture at Duke in 2018 by Lenka Zdeborova and Florent Krzakala "Statistical Physics For Optimization and Learning"☆17Dec 22, 2019Updated 6 years ago
- Dynamic convolutional neural networks for time series classification☆14May 16, 2023Updated 2 years ago
- Generalized sparse regression for continuous and discrete data☆12Feb 23, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Global analysis platform for fluorescence data☆12Mar 29, 2026Updated last week
- In-situ analysis with Python, C/C++ simulation, and Jupyter☆21Mar 30, 2026Updated last week
- Hardware-tailored grouping for Pauli measurements.☆13Nov 28, 2025Updated 4 months ago
- Various tools for EEG/MEG data analysis.☆10Mar 12, 2026Updated 3 weeks ago
- Macaulay2 web app with support for KaTeX and HTML output☆21Mar 22, 2026Updated 2 weeks ago
- THOI: An efficient library for higher order interactions analysis based on Gaussian copulas enhanced by batch-processing☆22Aug 19, 2025Updated 7 months ago
- Diffusion for EEG☆11Jan 2, 2023Updated 3 years ago
- Analysis Tool for Astrophysical Simulation Data in the Julia Language☆14Oct 4, 2025Updated 6 months ago
- Niv Lab tools for preprocessing eye-tracking data.☆11Oct 15, 2019Updated 6 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆20Mar 16, 2026Updated 3 weeks ago
- ☆10Apr 8, 2021Updated 5 years ago
- Surface version of the M-CRIB atlases.☆14Mar 24, 2026Updated 2 weeks ago
- SDSC Summer Institute 2019 material☆19Dec 13, 2022Updated 3 years ago
- Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks☆62Apr 29, 2024Updated last year
- monorepo for pasqal torch based pulser backends☆21Apr 2, 2026Updated last week
- Public part of the Robotic Perception group (MIS lab, France) library about vision-based state estimation of robot and scene☆23May 20, 2025Updated 10 months ago
- Convert RDF to Semantic MediaWiki facts in MediaWiki XML format, with a standalone commandline tool☆20Mar 28, 2025Updated last year
- An RST directive for injecting a Towncrier-generated changelog draft containing fragments for the unreleased (next) project version. Demo…☆18Jan 8, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Loop like a pro, make parameter studies fun.☆17Mar 31, 2026Updated last week
- Find optimal options spreads based on probability, return on risk, and options pricing☆27May 30, 2024Updated last year
- Simulating Realistic Human Scanpaths in Dynamic Real-World Scenes☆15Mar 3, 2026Updated last month
- Piloting a new image object for neuroimaging based on XArray☆11Feb 23, 2025Updated last year
- Create optimized ICA training (OPTICAT) data for EEG data recorded during free viewing (Dimigen, 2020, NeuroImage)☆20Jun 27, 2024Updated last year
- Common utility functions and algorithms for robotics work used by ARC & ARM labs and TRI. This is a mirror of https://github.com/calderpg…☆13Mar 28, 2026Updated 2 weeks ago
- Codebase for "A data-driven framework for mapping domains of human neurobiology"☆32Sep 18, 2022Updated 3 years ago
- ☆17Mar 26, 2023Updated 3 years ago
- a collaborative software environment for large-scale tiled display systems☆40Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- BioBTree v2: An MCP-enabled biomedical graph database unifying 50+ datasets.☆16Updated this week
- Papers about algorithms related to the field of AI, Machine Learning, Deep Learning and Neural Networks☆12Dec 28, 2021Updated 4 years ago
- The MMFT ISO Designer is a tool that validates and generates microfluidic chip designs conforming to the ISO 22916 standard.☆15Mar 26, 2026Updated 2 weeks ago
- Tools related to analyzing eye tracking data from cogntive sciences experiments☆16Mar 27, 2024Updated 2 years ago
- A collection of graph neural networks implementations in JAX☆35Nov 28, 2023Updated 2 years ago
- GitHub Action to add a GitHub status link to a CircleCI artifact.☆15Mar 26, 2026Updated 2 weeks ago
- Process lines in parallel.☆21Jan 23, 2025Updated last year