☆33Jul 5, 2026Updated last month
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:
- This repository hosts the SAIR Mathematics Distillation Challenge: Equational Theories Stage 2, providing Lean 4 problem sets, judging to…☆20Jul 30, 2026Updated last week
- Set of agent skills of Lean code generation for software development☆17Jul 6, 2026Updated last month
- Blueprint for the PNT+ Project☆332Updated this week
- ☆20Mar 11, 2026Updated 4 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- Teaching Material for Course on Formalization Summer Semester 2025 at Uni Greifswald☆19Apr 10, 2026Updated 3 months ago
- Tooling to shim libfuzzer <-> golang native fuzzing☆13May 9, 2024Updated 2 years ago
- Autonomous AI orchestration for automated cloud infrastructure management and self-healing operations.☆11Jun 29, 2026Updated last month
- Build webserver using Julia☆15Apr 14, 2012Updated 14 years ago
- ☆14Mar 23, 2023Updated 3 years ago
- ☆13Feb 9, 2022Updated 4 years ago
- Blind Justice Code for the paper "Blind Justice: Fairness with Encrypted Sensitive Attributes", ICML 2018☆14Mar 20, 2019Updated 7 years ago
- A simple 2D euler equation solver using finite volumes☆14Jan 6, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆18Feb 22, 2025Updated last year
- A JVM implemented in 100% pure Java, ported from MaxineVM☆16Dec 31, 2010Updated 15 years ago
- An extention to the GaLore paper, to perform Natural Gradient Descent in low rank subspace☆19Oct 21, 2024Updated last year
- ☆18Updated this week
- nanoGPT using Equinox☆15Mar 3, 2023Updated 3 years ago
- ☆15Aug 7, 2025Updated 11 months ago
- ☆28Sep 8, 2023Updated 2 years ago
- Codes for CVPR2020 paper "Towards Transferable Targeted Attack".☆16Apr 24, 2022Updated 4 years ago
- ☆32Nov 5, 2024Updated 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.
- Faster, Smaller, Harder HPKE for Rust☆28Jul 28, 2026Updated last week
- A collection of slides of the SMT course I held at University of Milan in fall 2011☆10Mar 14, 2015Updated 11 years ago
- Hierarchy of parameterized Smoothed Particle Hydrodynamics models trained with mixed mode AD and Sensitivity Analysis (SA)☆13Sep 9, 2022Updated 3 years ago
- The official repository of 'Unnatural Language Are Not Bugs but Features for LLMs'☆24May 20, 2025Updated last year
- D2PFuzz, Fuzzer tool for analyze devp2p protocol☆20Oct 19, 2025Updated 9 months ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆23Mar 29, 2023Updated 3 years ago
- Kopru is a Go-based CLI tool that automates migration of compute instances into Oracle Cloud Infrastructure (OCI).☆14Apr 2, 2026Updated 4 months ago
- ☆16Jul 14, 2022Updated 4 years ago
- A repository to introduce the algorithmic information theory. You could learn what is Kolmogorov complexity and why it is important here.☆13Jul 23, 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.
- [ICML 2022] Robust Deep Reinforcement Learning through Bootstrapped Opportunistic Curriculum☆12Jul 15, 2022Updated 4 years ago
- An iOS app to turn typed text into images of handwritten text in your own handwriting style.☆19Jan 20, 2023Updated 3 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 10 years ago
- Giving Up Control: Neurons as Reinforcement Learning Agents☆13May 6, 2024Updated 2 years ago
- ☆12Jun 18, 2024Updated 2 years ago
- java port of ry's http-parser☆20Oct 9, 2017Updated 8 years ago
- TIFS2022: Decision-based Adversarial Attack with Frequency Mixup☆22Aug 8, 2023Updated 2 years ago