Static human-facing explorer for the Palomar database
☆15Oct 19, 2026Updated this week
Alternatives and similar repositories for PalomarWeb
Users that are interested in PalomarWeb are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20Sep 9, 2026Updated last month
- A Lean formalization of the theory of oracle computability and Turing degrees via partial recursive functions☆15May 28, 2026Updated 4 months ago
- A graph-engineering agent harness for long-horizon, research-level autoformalization.☆30Jul 8, 2026Updated 3 months ago
- This is the repository for the course "Formalizing Analysis of Algorithms", Autumn 2025.☆18Jan 3, 2026Updated 9 months ago
- Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards☆36Updated this week
- 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.
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- Lean4 library for substitution inspired by autosubst☆16Updated this week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 2 months ago
- Build structured Proof Blueprints with Verso☆35Updated this week
- Play tetris in typst☆13Dec 22, 2023Updated 2 years ago
- ☆16Sep 23, 2026Updated last month
- Package registry for Lean/Lake.☆51Sep 9, 2026Updated last month
- ☆12Oct 12, 2026Updated last week
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 6 months 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.
- Write LaTeX presentations directly from Lean4~☆28Dec 28, 2025Updated 9 months ago
- Rust interface for cvc5☆17Oct 13, 2026Updated last week
- ☆25Oct 19, 2026Updated last week
- Open-source MCP server for AI agents — index code repositories, research papers, and datasets. Runs fully local.☆24Sep 10, 2026Updated last month
- Families of polynomials☆26Oct 14, 2026Updated last week
- Lean formalization of bounded gaps between primes☆45Aug 18, 2026Updated 2 months ago
- i18n library for Lean.☆14Updated this week
- Busy Beaver deciders backed by Coq proof☆63Mar 2, 2025Updated last year
- ☆15May 28, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆42Updated this week
- ☆11Mar 8, 2025Updated last year
- Use discrete diffusion for synthesizer inversion with RL finetuning.☆16Sep 13, 2026Updated last month
- JuliaCN 2022 archived demo repo: How Julia beats MATLAB's C codes by 1000x☆10May 25, 2023Updated 3 years ago
- Logical Relation for MLTT in Coq☆35Apr 7, 2026Updated 6 months ago
- DyLean, a framework for the symbolic analysis of cryptographic protocols☆22Oct 15, 2026Updated last week
- This repository hosts the SAIR Mathematics Distillation Challenge: Equational Theories Stage 2, providing Lean 4 problem sets, judging to…☆27Aug 27, 2026Updated last month
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Aug 24, 2020Updated 6 years ago
- ☆24May 3, 2026Updated 5 months 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.
- ☆72Updated this week
- Estimate RAM, storage and token throughput for running LLMs locally or in the cloud. Supports all major architectures (Standard GQA, Slid…☆19Aug 12, 2026Updated 2 months ago
- Julia package for Schur decomposition of matrices with generic element types☆32Sep 1, 2026Updated last month
- Julia中文社区报告：罗秀哲的开源工具箱☆12Dec 6, 2022Updated 3 years ago
- Life in Life in Life☆25May 13, 2022Updated 4 years ago
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 7 years ago
- Goofy physics notation☆11Apr 7, 2020Updated 6 years ago