☆32Aug 10, 2026Updated 2 weeks 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:
- This repository hosts the SAIR Mathematics Distillation Challenge: Equational Theories Stage 2, providing Lean 4 problem sets, judging to…☆23Updated this week
- An introduction to theorem proving in Lean for the impatient.☆19Apr 6, 2025Updated last year
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆16Apr 16, 2026Updated 4 months ago
- Set of agent skills of Lean code generation for software development☆17Jul 6, 2026Updated last month
- ☆17Jul 13, 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.
- Computer Modern Mono proportional font☆11Jan 2, 2013Updated 13 years ago
- Blueprint for the PNT+ Project☆340Updated this week
- ☆20Mar 11, 2026Updated 5 months ago
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- ☆18Apr 6, 2021Updated 5 years ago
- 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 4 months ago
- Tooling to shim libfuzzer <-> golang native fuzzing☆13May 9, 2024Updated 2 years ago
- ☆14Mar 23, 2023Updated 3 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.
- ☆10Sep 17, 2016Updated 9 years ago
- Blind Justice Code for the paper "Blind Justice: Fairness with Encrypted Sensitive Attributes", ICML 2018☆14Mar 20, 2019Updated 7 years ago
- Official repository for the paper "Gradient-based Jailbreak Images for Multimodal Fusion Models" (https//arxiv.org/abs/2410.03489)☆20Oct 22, 2024Updated last year
- CR-LT KGQA Dataset Repository☆10Jun 1, 2025Updated last year
- ☆18Aug 7, 2026Updated 2 weeks ago
- GRAPE with autograd on the TDSE and LME in Python☆12Mar 26, 2024Updated 2 years ago
- ☆14Jul 11, 2019Updated 7 years ago
- nanoGPT using Equinox☆15Mar 3, 2023Updated 3 years ago
- Codes for CVPR2020 paper "Towards Transferable Targeted Attack".☆16Apr 24, 2022Updated 4 years ago
- 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.
- A hybrid quantum-classical neural network simulation platform. Quantum simulation uses QTensor, a state-of-the-art tensor network-based s…☆14Jun 27, 2023Updated 3 years ago
- Faster, Smaller, Harder HPKE for Rust☆28Updated this week
- ☆15Oct 31, 2023Updated 2 years ago
- 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'☆25May 20, 2025Updated last year
- D2PFuzz, Fuzzer tool for analyze devp2p protocol☆20Oct 19, 2025Updated 10 months ago
- Meetup theme for Slidev☆25Updated this week
- AI model for making mazes that extends OpenAIs GPT2 model☆15Dec 21, 2023Updated 2 years 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.
- ☆17Nov 24, 2025Updated 9 months 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
- [ICML 2022] Robust Deep Reinforcement Learning through Bootstrapped Opportunistic Curriculum☆12Jul 15, 2022Updated 4 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 10 years ago
- ☆15Mar 20, 2025Updated last year
- ☆12Jun 18, 2024Updated 2 years ago
- ☆10Oct 24, 2019Updated 6 years ago