ATLAS Autoformalized Textbook Library At Scale
☆254Jun 2, 2026Updated 3 weeks ago
Alternatives and similar repositories for atlas-lean
Users that are interested in atlas-lean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Physics, if you already knew physics. Open source Physics book Obsidian vault.☆14Nov 18, 2022Updated 3 years ago
- A vite+tailwindcss webview template for AHK☆37May 21, 2026Updated last month
- less-like terminal pager based on robinovitch61/viewport☆42Apr 13, 2026Updated 2 months ago
- Git Repo for managing the ontological logger☆12Updated this week
- PromptRose 🌹 is your AI prompt companion, blooming at your fingertips.☆22Sep 1, 2025Updated 9 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.
- CROP: Clustering 16s rRNA for OTU Prediction☆13May 2, 2017Updated 9 years ago
- ☆143Updated this week
- Play casual chess on lichess.org via voice commands☆13Jul 8, 2022Updated 3 years ago
- input automation tool – event chains, chords, multi-zone gestures, and more☆42Jun 15, 2026Updated last week
- Export Apple SF Symbols as SVG☆65May 12, 2026Updated last month
- ☆21May 28, 2026Updated 3 weeks ago
- ☆19Jun 17, 2026Updated last week
- ☆13Updated this week
- ☆41Updated this week
- 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.
- Social networking over static sites☆104Mar 18, 2026Updated 3 months ago
- ☆16Dec 11, 2022Updated 3 years ago
- Program to crack a Playfair cipher using Simulated Annealing☆17Jul 21, 2018Updated 7 years ago
- Client-side AES-256-GCM zero-knowledge encryption library. Browser-native Web Crypto API, no dependencies. Powers FileShot.io.☆28Jun 3, 2026Updated 3 weeks ago
- WordNet Similarity for Java provides an API for several Semantic Relatedness/Similarity algorithms☆22May 8, 2026Updated last month
- Threat Network Detection in Online Social Networks☆12Jan 20, 2017Updated 9 years ago
- OpenAlex Networks is a helper library to process and obtain data from the OpenAlex dataset via API. It also provides functionality to gen…☆26Apr 5, 2023Updated 3 years ago
- Any PyTorch model to NNEF exchange format☆18Jun 20, 2026Updated last week
- Openclaw AI Polymarket Trading Bot — TypeScript bot built with 🦞 Openclaw AI agent. Predicts crypto price on Polymarket 5m BTC Up/Down m…☆43May 4, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The release of the 13 TeV ATLAS Open Data, hosted on the CERN Open Data portal and ATLAS Open Data portal, is accompanied by a set of ana…☆25Feb 11, 2026Updated 4 months ago
- Curses-based tools for Zsh, e.g. multi-word history searcher☆16Apr 15, 2023Updated 3 years ago
- This is a version based on v2.3.7 running on emulated PC i386, native Raspi Model 3b and Zero 2, and eventually Olimex ESP32-P4-PC, using…☆154May 18, 2026Updated last month
- Package registry for Lean/Lake.☆47Jun 12, 2026Updated 2 weeks ago
- Codex-style goal tracking and continuation for pi.☆143Updated this week
- 8x8x8 Circles or Spheres drawn in OpenGL in Qt, based off the grabber example. See the pendulum repo, too.☆12Mar 4, 2015Updated 11 years ago
- Summarize Youtube's script by chapter creater configured☆27Jun 2, 2024Updated 2 years ago
- iOS & watchOS speech-to-text app with AI voice keyboard, on-device RAG, and chat with your notes - powered by Apple Foundation Models, Wh…☆82Updated this week
- 🌎 simple CLI to download images from Google Earth View☆16Jul 24, 2019Updated 6 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.
- 1140 Dandisets, 965.1 TB total. DataLad super-dataset of all Dandisets from https://github.com/dandisets☆14May 28, 2026Updated last month
- Fetch all revisions to be reviewed from Gerrit code review tool☆13Mar 29, 2012Updated 14 years ago
- Formal Euclidean Geometry Course, Rutgers Math Corps☆103Jul 28, 2025Updated 10 months ago
- Somewhere between MS Paint and Paint.NET. Multiplatform by default.☆154Jun 16, 2026Updated last week
- A vfkit-based linux builder for Nix-darwin☆91Updated this week
- Decompiler, deminifier and deobfuscator for Bun-compiled standalone JavaScript binaries☆204Mar 6, 2026Updated 3 months ago
- A trading bot that monitors Polymarket Up/Down binary markets, detects sudden price impulses, buys the rising side, trails price, and hed…☆15May 6, 2026Updated last month