☆14Oct 23, 2026Updated this week
Alternatives and similar repositories for razarion
Users that are interested in razarion are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A fork of openai/miniF2F adapted to Lean 4, with corrections to formalizations and informal descriptions. for human readers.☆15Apr 23, 2026Updated 6 months ago
- An interactive learning playground to learn mechanical engines developed using claude fable 5☆25Jun 12, 2026Updated 4 months ago
- ☆21Aug 21, 2026Updated 2 months ago
- Quibble, a content generation bot, simplifies and elevates your creative process. Whether crafting engaging blog posts, soulful song lyri…☆11Jan 31, 2026Updated 8 months ago
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 4 months ago
- 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.
- Proving polynomial inequalities with sum-of-squares certificates☆30Apr 4, 2026Updated 6 months ago
- ☆12Aug 4, 2026Updated 2 months ago
- OCR処理プログラム研究開発事業において作成されたOCR学習用データセット☆15Jun 26, 2024Updated 2 years ago
- AniMovie is an open-source movie, anime, and manga streaming platform that integrates TMDB, AniList, and VidSrc APIs to deliver ad-free H…☆30Aug 9, 2026Updated 2 months ago
- A very simple, open-source chromium extension for viewing and editing cookies☆10Dec 6, 2023Updated 2 years ago
- ☆29Apr 2, 2026Updated 6 months ago
- Optmized to be performatic at any platform app (Android & iOS) and Web Apps (PWA).☆11Jan 24, 2023Updated 3 years ago
- Appe - Frappe Mobile APP☆19Oct 13, 2026Updated last week
- Synthia is a lightweight and beginner-friendly interpreted programming language developed in Rust. With a simple, intuitive syntax and a …☆14Jan 31, 2026Updated 8 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.
- Dark Places Master Server (ID Tech engines )☆19Sep 14, 2012Updated 14 years ago
- A machine learning project to predict smoking status (Smoker/Non-Smoker) using health and lifestyle data. It includes data preprocessing,…☆16Aug 28, 2025Updated last year
- Everything I have about FMC (Rubik's Cube Fewest Moves Challenge WCA event)☆12Jun 9, 2026Updated 4 months ago
- Decompilation source code of Halo Combat Evolved Anniversary (Xbox360)☆34Aug 20, 2026Updated 2 months ago
- Legend of Mir 3 - Official Public Zircon Source☆45Updated this week
- 快速文件分享系统☆11May 4, 2014Updated 12 years ago
- [WIP] a solidity implementation of verification in a STARK on a MIMC calculation☆11Mar 30, 2021Updated 5 years ago
- SteamAPI Emulator☆15Nov 6, 2024Updated last year
- 🏆 Won Hack the Valley 2026 · Browser extension that saves and exports your AI chats, then resumes them in a fresh chat so you never lose…☆15Aug 10, 2026Updated 2 months 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.
- PO capable editor for Android☆14Feb 20, 2016Updated 10 years ago
- Arabic Programming Language☆11May 7, 2021Updated 5 years ago
- Spatial search using Elastic Search☆12Dec 27, 2014Updated 11 years ago
- This is a write up of the exploit I developed for the Pwn2Own Automotive 2026 competition.☆34Oct 13, 2026Updated last week
- Command and Conquer: Generals - Zero Hour☆19Oct 8, 2026Updated 2 weeks ago
- 🦀 MJ Rathbun's GitHub Profile - Scientific Coder & Crustacean Enthusiast☆19Feb 18, 2026Updated 8 months ago
- Machines you can take apart in your browser: fusion reactor, Raptor 3, Cybertruck, humanoid, black hole, fighter jet engine, F1 car, dron…☆49Sep 28, 2026Updated 3 weeks ago
- A simple solution to call Toast for sending notifications, which can also be used outside of Unity, with a provided Unity calling solutio…☆14Dec 13, 2024Updated last year
- Optimize and run consistent AI Functions.☆19Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Analyzer for Uniswap v4 Hooks☆12Mar 4, 2024Updated 2 years ago
- Official file specification for the feedpak file format☆17Jul 23, 2026Updated 3 months ago
- Products on anything related to AI and Robotics.☆18Updated this week
- OmniPacker is a cross-platform desktop application (Tauri v2) that serves as a GUI frontend for DepotDownloader with optional compression…☆24Oct 13, 2026Updated last week
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆16Jun 4, 2024Updated 2 years ago
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆10Oct 21, 2023Updated 3 years ago
- Paddle Lite OCR 识别VIN码☆11Nov 16, 2023Updated 2 years ago