Rigorous Proofs via Adversarial AI Agents
☆142Jun 4, 2026Updated 3 weeks 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:
- POCAL (Python Optical Coating Analysis Library) allows to easily design optical coatings both as single layer and as multilayer stack, mo…☆17Mar 30, 2024Updated 2 years ago
- We present Global Search Optics (GSO) to automatically design compact computational imaging systems.☆14Mar 19, 2025Updated last year
- Various tools for EEG/MEG data analysis.☆10Jun 12, 2026Updated 2 weeks ago
- Macaulay2 web app with support for KaTeX and HTML output☆21Jun 23, 2026Updated last week
- THOI: An efficient library for higher order interactions analysis based on Gaussian copulas enhanced by batch-processing☆24Jun 9, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Diffusion for EEG☆11Jan 2, 2023Updated 3 years ago
- Analysis Tool for Astrophysical Simulation Data in the Julia Language☆15Updated this week
- Surface version of the M-CRIB atlases.☆14Jun 2, 2026Updated 3 weeks ago
- monorepo for pasqal torch based pulser backends☆21Updated this week
- A beginner-friendly guide to learning JAX with practical examples.☆66May 18, 2026Updated last month
- 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
- An RST directive for injecting a Towncrier-generated changelog draft containing fragments for the unreleased (next) project version. Demo…☆19Apr 6, 2026Updated 2 months ago
- ☆63Updated this week
- Simulating Realistic Human Scanpaths in Dynamic Real-World Scenes☆15Mar 3, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Create optimized ICA training (OPTICAT) data for EEG data recorded during free viewing (Dimigen, 2020, NeuroImage)☆20Jun 27, 2024Updated 2 years ago
- A Kanban board implemented in Replicant☆21Oct 21, 2025Updated 8 months 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
- Deep Continuous Quantile Regression and other experiments.☆13Feb 24, 2020Updated 6 years ago
- Experimental paradigm functions.☆13Jun 22, 2026Updated last week
- a collaborative software environment for large-scale tiled display systems☆40May 12, 2026Updated last month
- Using Graph Neural Networks to regress baryonic properties directly from full dark matter merger trees.☆24Jul 24, 2025Updated 11 months ago
- This repository includes software for the paper "Multi-task learning for molecular electronic structure approaching coupled-cluster accur…☆24Oct 3, 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.
- OpenTelemetry Tutorial presented by Ron Nathaniel in Pycon US 2023☆11Apr 20, 2023Updated 3 years ago
- 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.☆15Jun 10, 2026Updated 2 weeks ago
- powderday dust radiative transfer☆22Jun 11, 2026Updated 2 weeks ago
- 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
- Jax-based quantum state vector simulator.☆25Jun 28, 2025Updated last year
- A draft specification for the nifti-zarr format☆16Dec 5, 2025Updated 6 months ago
- The Grackle chemistry and cooling library for astrophysical simulations and models.☆29Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An interpreter for a simple Scheme-like language☆19May 13, 2010Updated 16 years ago
- A Bayesian adaptive psychometric method for measuring thresholds in online experiments.☆18Sep 30, 2022Updated 3 years ago
- A Jupyter/python-based introduction to writing a finite-volume hydro code☆31Jul 26, 2019Updated 6 years ago
- Blind source separation of real signals☆17Oct 3, 2019Updated 6 years ago
- Python class that performs finite impulse response fitting on time series data.☆20Apr 22, 2026Updated 2 months ago
- Convert Beker&Hickl, PicoQuant and other formats to Photon-HDF5☆17May 5, 2026Updated last month
- Our LLM for Rydberg atom physics☆43Jul 4, 2024Updated last year