Rigorous Proofs via Adversarial AI Agents
☆136Jan 19, 2026Updated 4 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:
- Material for my course of Computational Physics (3rd semester, obligatory), in National and Kapodistrian University of Athens☆16Jan 9, 2026Updated 4 months ago
- Message-Passing Monte Carlo (MPMC)☆27Oct 10, 2024Updated last year
- Generalized sparse regression for continuous and discrete data☆14Feb 23, 2026Updated 2 months ago
- Various tools for EEG/MEG data analysis.☆10Mar 12, 2026Updated 2 months ago
- Analysis Tool for Astrophysical Simulation Data in the Julia Language☆14Oct 4, 2025Updated 7 months ago
- 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.
- Niv Lab tools for preprocessing eye-tracking data.☆11Oct 15, 2019Updated 6 years ago
- SDSC Summer Institute 2019 material☆19Dec 13, 2022Updated 3 years ago
- Implements core functions for AiiDAlab.☆16May 13, 2026Updated last week
- In this Tech Savvy era, with lot of advancements in the field of AI, ML, IoT and Deep Learning - People are randomly posting out random, …☆22Feb 26, 2025Updated last year
- Public part of the Robotic Perception group (MIS lab, France) library about vision-based state estimation of robot and scene☆23May 20, 2025Updated last year
- An RST directive for injecting a Towncrier-generated changelog draft containing fragments for the unreleased (next) project version. Demo…☆19Apr 6, 2026Updated last month
- A python toolbox for analyzing eye-tracking data.☆21May 25, 2018Updated 7 years ago
- Simulating Realistic Human Scanpaths in Dynamic Real-World Scenes☆15Mar 3, 2026Updated 2 months ago
- Piloting a new image object for neuroimaging based on XArray☆11Feb 23, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Create optimized ICA training (OPTICAT) data for EEG data recorded during free viewing (Dimigen, 2020, NeuroImage)☆20Jun 27, 2024Updated last year
- A VS Code extension that plays the iconic **FAAAAH** sound whenever your tests fail. Never silently ignore a failing test again.☆29Mar 5, 2026Updated 2 months ago
- ☆17Jul 31, 2019Updated 6 years ago
- ☆17Mar 26, 2023Updated 3 years ago
- HackTrick23 Hackathon Provisional Repository☆30Mar 17, 2023Updated 3 years ago
- A lightweight, fast, and accurate solver for grid-based ferrofluid simulations (2D Ver.)☆20May 9, 2024Updated 2 years ago
- Using Graph Neural Networks to regress baryonic properties directly from full dark matter merger trees.☆24Jul 24, 2025Updated 9 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
- Tools related to analyzing eye tracking data from cogntive sciences experiments☆16Mar 27, 2024Updated 2 years ago
- 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.
- GitHub Action to add a GitHub status link to a CircleCI artifact.☆15May 2, 2026Updated 2 weeks ago
- NYU's Introduction to Deep Learning Research☆53Updated this week
- Model Error Analysis for scikit-learn models.☆30Jan 13, 2022Updated 4 years ago
- powderday dust radiative transfer☆22Feb 23, 2026Updated 2 months ago
- Galaxy/(sub)Halo finder for N-body simulations☆23Jun 6, 2024Updated last year
- Simple 2D Pose Graph SLAM☆14May 28, 2019Updated 6 years ago
- HoloViz+Bokeh for Neuroscience☆24Apr 17, 2025Updated last year
- The largest KG for material science☆31Nov 14, 2024Updated last year
- The Grackle chemistry and cooling library for astrophysical simulations and models.☆29Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 3 weeks ago
- Model Predictive Control☆28Feb 21, 2026Updated 2 months ago
- Convert Beker&Hickl, PicoQuant and other formats to Photon-HDF5☆17May 5, 2026Updated 2 weeks ago
- A version of Enzo designed for exascale and built on charm++.☆32Aug 13, 2025Updated 9 months ago