ATLAS Autoformalized Textbook Library At Scale
☆171May 29, 2026Updated last week
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☆35May 21, 2026Updated 2 weeks ago
- less-like terminal pager based on robinovitch61/viewport☆42Apr 13, 2026Updated last month
- Git Repo for managing the ontological logger☆12Dec 27, 2020Updated 5 years ago
- PromptRose 🌹 is your AI prompt companion, blooming at your fingertips.☆22Sep 1, 2025Updated 9 months ago
- 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.
- CROP: Clustering 16s rRNA for OTU Prediction☆13May 2, 2017Updated 9 years ago
- ☆139Updated 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☆42Updated this week
- Export Apple SF Symbols as SVG☆61May 12, 2026Updated 3 weeks ago
- ☆21May 28, 2026Updated last week
- ☆18Apr 2, 2026Updated 2 months ago
- ☆13Updated this week
- ☆41May 16, 2026Updated 3 weeks 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.
- Client-side AES-256-GCM zero-knowledge encryption library. Browser-native Web Crypto API, no dependencies. Powers FileShot.io.☆27Updated this week
- Social networking over static sites☆103Mar 18, 2026Updated 2 months ago
- Threat Network Detection in Online Social Networks☆12Jan 20, 2017Updated 9 years ago
- ☆16Dec 11, 2022Updated 3 years ago
- Program to crack a Playfair cipher using Simulated Annealing☆17Jul 21, 2018Updated 7 years ago
- WordNet Similarity for Java provides an API for several Semantic Relatedness/Similarity algorithms☆22May 8, 2026Updated 3 weeks 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☆16Updated this week
- iOS & watchOS speech-to-text app with AI voice keyboard, on-device RAG, and chat with your notes - powered by Apple Foundation Models, Wh…☆75Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Curses-based tools for Zsh, e.g. multi-word history searcher☆16Apr 15, 2023Updated 3 years ago
- 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…☆26Feb 11, 2026Updated 3 months ago
- 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
- This is a version based on v2.3.7 supposed to eventually run natively on PC i386, Raspi Model 3b and Olimex ESP32-P4-PC, using existing b…☆153May 18, 2026Updated 2 weeks ago
- Package registry for Lean/Lake.☆47May 30, 2026Updated last week
- Summarize Youtube's script by chapter creater configured☆27Jun 2, 2024Updated 2 years ago
- 🌎 simple CLI to download images from Google Earth View☆16Jul 24, 2019Updated 6 years ago
- 1140 Dandisets, 965.1 TB total. DataLad super-dataset of all Dandisets from https://github.com/dandisets☆14May 28, 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…☆40May 4, 2026Updated last month
- 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.
- 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
- A fork of Windows Terminal with native agent integration, right in your command line.☆604Updated this week
- Raspberry Pi OS for Wi-Fi connectivity on the Spotify Car Thing☆32Updated this week
- Decompiler, deminifier and deobfuscator for Bun-compiled standalone JavaScript binaries☆200Mar 6, 2026Updated 3 months ago
- Somewhere between MS Paint and Paint.NET. Multiplatform by default.☆155Updated this week
- A trading bot that monitors Polymarket Up/Down binary markets, detects sudden price impulses, buys the rising side, trails price, and hed…☆21May 6, 2026Updated last month