Rigorous Proofs via Adversarial AI Agents
☆141Jun 4, 2026Updated this week
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:
- The up-to-date code for Mesoscale Individualized NeuroDynamic modeling and filtering☆11Jul 22, 2021Updated 4 years ago
- A python-based tool for multivariate pattern dependence (MVPD) analysis on fMRI data.☆10Jun 23, 2022Updated 3 years ago
- JAX-based differentiable Kohn-Sham Density Functional Theory implementation for training quantum(-enhanced) neural exchange-correlation f…☆21Updated this week
- Generalized sparse regression for continuous and discrete data☆15Feb 23, 2026Updated 3 months ago
- Global analysis platform for fluorescence data☆12May 4, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- In-situ analysis with Python, C/C++ simulation, and Jupyter☆22May 18, 2026Updated 3 weeks ago
- Running ImJoy plugins in Jupyter notebooks☆11Jan 10, 2023Updated 3 years ago
- Analysis Tool for Astrophysical Simulation Data in the Julia Language☆14Updated this week
- Niv Lab tools for preprocessing eye-tracking data.☆11Oct 15, 2019Updated 6 years ago
- ☆20May 19, 2026Updated 3 weeks ago
- Surface version of the M-CRIB atlases.☆14Jun 2, 2026Updated last week
- SDSC Summer Institute 2019 material☆19Dec 13, 2022Updated 3 years ago
- Code for Neurips 2024 paper: "Pure Message Passing Can Estimate Common Neighbor for Link Prediction"☆17Oct 8, 2024Updated last year
- Convert RDF to Semantic MediaWiki facts in MediaWiki XML format, with a standalone commandline tool☆20Mar 28, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- GraviT is a distributed ray tracing framework that enables applications to leverage hardware-optimized ray tracers within a single enviro…☆17Oct 31, 2022Updated 3 years ago
- A JAX-based Differentiable Density Functional Theory Framework for Materials☆49Apr 20, 2026Updated last month
- A python toolbox for analyzing eye-tracking data.☆21May 25, 2018Updated 8 years ago
- Find optimal options spreads based on probability, return on risk, and options pricing☆29May 1, 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
- Semantic Web database☆19Sep 1, 2022Updated 3 years ago
- Synthstrip integration to be used across nipreps☆17May 15, 2025Updated last year
- [CAC2023] Bilateral Network with Residual U-blocks and Dual-Guided Attention for Real-time Semantic Segmentation☆11Nov 28, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Codebase for "A data-driven framework for mapping domains of human neurobiology"☆32Sep 18, 2022Updated 3 years ago
- ☆17Jul 31, 2019Updated 6 years ago
- Experimental paradigm functions.☆12Jun 3, 2026Updated last week
- a collaborative software environment for large-scale tiled display systems☆40May 12, 2026Updated 3 weeks ago
- Pytorch implementation of BrainNetCNN (Kawahara et al. 2016) + visualization method☆33Jun 4, 2018Updated 8 years ago
- A lightweight, fast, and accurate solver for grid-based ferrofluid simulations (2D Ver.)☆20May 9, 2024Updated 2 years ago
- BioBTree v2: An MCP-enabled biomedical graph database unifying 50+ datasets.☆16Jun 1, 2026Updated last week
- Tools related to analyzing eye tracking data from cogntive sciences experiments☆16Mar 27, 2024Updated 2 years ago
- GitHub Action to add a GitHub status link to a CircleCI artifact.☆15May 2, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Model Error Analysis for scikit-learn models.☆30Jan 13, 2022Updated 4 years ago
- Process lines in parallel.☆21Jan 23, 2025Updated last year
- powderday dust radiative transfer☆22Jun 1, 2026Updated last week
- Galaxy/(sub)Halo finder for N-body simulations☆23Jun 6, 2024Updated 2 years ago
- The Density Functional Theory for Electrolyte Solutions☆10Sep 13, 2022Updated 3 years ago
- Computer Vision app designed to analyze basketball shots from video footage using YOLOv11 finetuned with a custom dataset.☆90Jan 17, 2026Updated 4 months ago
- ESP32 based differential pressure (and air flow) meter. Handheld, battery powered DIY device for measuring small pressure differences (Se…☆13May 12, 2026Updated 3 weeks ago