Quasi-Riemann bounds, Lean formalizations, and independent proof verification.
☆15Nov 6, 2026Updated this week
Alternatives and similar repositories for QuasiRiemannTracker
Users that are interested in QuasiRiemannTracker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Recursively clone a website with url rewrite in controlled manner.☆14Jun 17, 2026Updated 4 months ago
- A multi-modal neural network built upon LipNet that achieves SOTA performance on the GRID corpus☆10Dec 22, 2023Updated 2 years ago
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 3 years ago
- First-party packages 📦 from atopile☆18Apr 29, 2026Updated 6 months ago
- Extends your Tailwind v4 themes variables adding ALL Angular's 20.2.2 Material system variables☆19Sep 12, 2025Updated last year
- 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.
- YEET transpiler for C and C++ file, written in Rust.☆14Jul 30, 2021Updated 5 years ago
- Notes and insights about OpenAI's Code Interpreter☆13Jul 26, 2023Updated 3 years ago
- Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"☆31Updated this week
- Solutions to math olympiad problems in Isabelle/HOL☆12May 29, 2021Updated 5 years ago
- In this study, we aimed to detect fraudulent activities in the supply chain through the use of neural networks. The study focused on buil…☆14Jul 29, 2024Updated 2 years ago
- A Lean formalization of the theory of oracle computability and Turing degrees via partial recursive functions☆14May 28, 2026Updated 5 months ago
- Dead simple & fast ordered set using python's 3.7+ dict.☆12Jun 6, 2022Updated 4 years ago
- A compiler and bytecode interpreter for a subset of Python☆10Jan 23, 2021Updated 5 years ago
- G'n'T Eval is an evaluation suite that allows to carry out pen and paper evaluations. It ships with all necessary tools, i.e. management …☆14Nov 2, 2013Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- PyOgmios is a Python version of the Ogmios Client☆10Oct 21, 2026Updated 2 weeks ago
- A complete version of Uniswap in Plutus.☆12Sep 6, 2021Updated 5 years ago
- Contains Latex document: All solutions to M.A. Armstrong's "Basic Topology"☆13Jan 3, 2023Updated 3 years ago
- HARC: verification language compiler, sister to ARCH☆14Updated this week
- The famous 2048 game built using Flame Engine and Flutter, includes score and sound configuration☆12Aug 14, 2022Updated 4 years ago
- Codebase, data and models for hallucination of pruned models☆15Jan 11, 2025Updated last year
- ☆14Jun 21, 2026Updated 4 months ago
- Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy☆13Oct 17, 2019Updated 7 years ago
- An open-source resistive random access memory (RRAM) compiler based on OpenRAM.☆11Nov 21, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Lyff: Ridesharing over phone call☆12Oct 2, 2017Updated 9 years ago
- A Brain Story Game built using Flutter + Flame☆12Aug 21, 2022Updated 4 years ago
- Small, configurable proof search for inductive Lean goals☆27Sep 30, 2026Updated last month
- SRI Group Website☆12Updated this week
- Python memory debugger and analyzer☆23Jul 7, 2026Updated 4 months ago
- A simple app to "unfrack" your Cardano Wallet's UTxO state☆15Updated this week
- A well-posed RRAM SPICE model implemented in Verilog-A, based on Stanford/ASU filamentary model, using code developed at UC Berkeley☆15Nov 30, 2020Updated 5 years ago
- เฉลยโจทย์ TOI ทุกปี (ถึง TOI19)☆19Feb 17, 2026Updated 8 months ago
- Integration test for entire CGRA flow☆12Jan 17, 2020Updated 6 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.
- A simple API client for a simple task☆28Jan 13, 2022Updated 4 years ago
- A Lean formalization of the Stacks Project☆130Updated this week
- FPGA synthesis tool powered by equality saturation and program synthesis.☆17Jan 9, 2026Updated 10 months ago
- Share graph plots☆20Jul 11, 2013Updated 13 years ago
- FPGA related files for ORAM☆13Sep 23, 2015Updated 11 years ago
- Tools for managing a large music library for DJs☆49Sep 14, 2026Updated last month
- ☆18Apr 17, 2026Updated 6 months ago
Are these results useful?