☆35Aug 10, 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…☆26Aug 27, 2026Updated last month
- 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 5 months ago
- Set of agent skills of Lean code generation for software development☆17Jul 6, 2026Updated 3 months ago
- ☆19Jul 13, 2026Updated 2 months 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.
- A Quantum Computing Library in LEAN☆26Jul 14, 2026Updated 2 months ago
- A formalization of Shannon's seminal 1948 paper defining entropy.☆17Mar 2, 2026Updated 7 months ago
- Blueprint for the PNT+ Project☆349Oct 2, 2026Updated last week
- ☆21Mar 11, 2026Updated 6 months ago
- Parametric estimation of multivariate Hawkes processes with general kernels.☆14May 27, 2024Updated 2 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 5 months ago
- A Tensor Network Library (TenNetLib.jl) built on top of ITensors.jl and ITensorMPS.jl for quantum many-body problems.☆24Sep 18, 2026Updated 2 weeks ago
- Metamath logic game☆10Aug 11, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Redis search and indexing in Java☆16Sep 26, 2016Updated 10 years ago
- Build webserver using Julia☆15Apr 14, 2012Updated 14 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
- ☆18Feb 22, 2025Updated last year
- A simple 2D euler equation solver using finite volumes☆14Jan 6, 2023Updated 3 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
- CR-LT KGQA Dataset Repository☆10Jun 1, 2025Updated last year
- A scikit-learn compatible classifier to perform trade classification in Python.☆22Updated this week
- 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.
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆21Jul 4, 2023Updated 3 years ago
- nanoGPT using Equinox☆15Mar 3, 2023Updated 3 years ago
- ☆28Sep 8, 2023Updated 3 years ago
- 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
- Meshless Multi-Physics Software☆14Jul 3, 2021Updated 5 years ago
- Faster, Smaller, Harder HPKE for Rust☆29Aug 23, 2026Updated last month
- ☆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
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆23Mar 29, 2023Updated 3 years 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.
- ☆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
- Conditional Lean formalization and numerical certificate for prime gaps at most 186.☆165Sep 2, 2026Updated last month
- [ICML 2022] Robust Deep Reinforcement Learning through Bootstrapped Opportunistic Curriculum☆12Jul 15, 2022Updated 4 years ago
- ☆15Mar 20, 2025Updated last year
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 10 years ago
- java port of ry's http-parser☆20Oct 9, 2017Updated 9 years ago