☆34Aug 10, 2026Updated 2 months ago
Alternatives and similar repositories for modular-arithmetic-challenge
Users that are interested in modular-arithmetic-challenge are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Sep 12, 2026Updated last month
- An introduction to theorem proving in Lean for the impatient.☆19Apr 6, 2025Updated last year
- A package for parsing neural network properties in VNN-LIB format☆12Jul 18, 2026Updated 3 months ago
- Static human-facing explorer for the Palomar database☆15Updated this week
- ☆15Oct 31, 2023Updated 2 years ago
- 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.
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆17Apr 16, 2026Updated 6 months ago
- ☆25Oct 19, 2026Updated last week
- Set of agent skills of Lean code generation for software development☆17Jul 6, 2026Updated 3 months ago
- dateroll makes working with 📅 dates less painful.☆12Apr 17, 2025Updated last year
- Blueprint for the PNT+ Project☆351Oct 20, 2026Updated last week
- Whole-Body Compliant Control Library for the Dreamer/Meka Mobile Humanoid Robot☆13Jan 10, 2013Updated 13 years ago
- [USENIX Security '25] Whispering Under the Eaves: Protecting User Privacy Against Commercial and LLM-powered Automatic Speech Recognition…☆12May 22, 2025Updated last year
- ☆25Oct 22, 2026Updated last week
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆42Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Solution for G2Net Detecting Continuous Gravitational Waves (2022)☆14Jan 18, 2023Updated 3 years ago
- ☆19Jul 13, 2026Updated 3 months ago
- Python library with C++ extensions for simulation, compensator, log-likelihood and intensity function computation for a multivariate Hawk…☆10Sep 25, 2017Updated 9 years ago
- Super simple single page static site generator. Markdown in, HTML out, human and CI friendly.☆12May 21, 2025Updated last year
- Parametric estimation of multivariate Hawkes processes with general kernels.☆14May 27, 2024Updated 2 years ago
- Capminal Agent Skills☆31Aug 9, 2026Updated 2 months ago
- ☆21Mar 11, 2026Updated 7 months ago
- The project page of paper: Aha! Adaptive History-driven Attack for Decision-based Black-box Models [ICCV 2021]☆10Feb 23, 2022Updated 4 years ago
- Computer Modern Mono proportional font☆11Jan 2, 2013Updated 13 years ago
- 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.
- Solver for 1D nonlinear partial differential equations in Julia based on the collocation method of Skeel and Berzins and providing an API…☆14Aug 5, 2024Updated 2 years ago
- Native, fast AI usage tracking in the macOS menu bar — every provider, with multiple accounts per provider.☆21Oct 9, 2026Updated 3 weeks ago
- Verified probability, statistics, and learning theory in Lean 4☆30Updated this week
- A Tensor Network Library (TenNetLib.jl) built on top of ITensors.jl and ITensorMPS.jl for quantum many-body problems.☆24Sep 18, 2026Updated last month
- Optimizing the Optimizer for Physics-Informed Neural Networks and Kolmogorov-Arnold Networks☆16May 29, 2026Updated 5 months ago
- Simple and fast quantum error correction architecture simulator for the rotated surface code☆13Aug 8, 2021Updated 5 years ago
- We implement RSQE and HQE simulation schemes from the paper Efficient simulation of affine forward volatility models.☆20Jun 10, 2022Updated 4 years ago
- A full neofetch alternative in Rust☆21Feb 6, 2026Updated 8 months ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆49Aug 26, 2026Updated 2 months ago
- 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.
- SHRED for plasma physics☆12May 20, 2024Updated 2 years ago
- Official repository for the paper "Gradient-based Jailbreak Images for Multimodal Fusion Models" (https//arxiv.org/abs/2410.03489)☆21Oct 22, 2024Updated 2 years ago
- Rust accelerated contraction ordering primitives for tensor networks and einsums☆30Sep 1, 2026Updated last month
- A simple agent co-researcher for coordinating GPT Pro, DeepThink, Codex, Gemini, and Aristotle on hard open problems. Emerged from work o…☆18Apr 24, 2026Updated 6 months ago
- ☆10Feb 8, 2024Updated 2 years ago
- ☆32Apr 12, 2023Updated 3 years ago
- GEPS: Boosting Generalization in Parametric PDE Neural Solvers through Adaptive Conditioning☆10Nov 19, 2024Updated last year