acornprover / acornView external linksLinks
The core implementation of the Acorn language.
☆39Updated this week
Alternatives and similar repositories for acorn
Users that are interested in acorn are comparing it to the libraries listed below
Sorting:
- Acorn's standard library of mathematical facts.☆51Updated this week
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆35Updated this week
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.☆11Feb 5, 2026Updated last week
- ☆28Jul 22, 2025Updated 6 months ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆31Jul 23, 2025Updated 6 months ago
- Coq code formatter☆24Jan 22, 2026Updated 3 weeks ago
- A search engine for Lean 4 declarations☆51Updated this week
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 7 months ago
- Open source game engine☆11Jan 26, 2026Updated 2 weeks ago
- Fast and clean schedule generator for IUers!☆11Jan 5, 2023Updated 3 years ago
- a zero-knowledge proof-carrying code platform for Lean 4☆64Updated this week
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Feb 8, 2026Updated last week
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆21Feb 6, 2026Updated last week
- Extension for vk.com that makes life easier☆10Feb 4, 2021Updated 5 years ago
- ☆11Aug 23, 2023Updated 2 years ago
- Stable and generic C API for Julia☆11Jan 8, 2026Updated last month
- Open Source bits of the core utilities used in PyVmMonitor (http://www.pyvmmonitor.com/)☆12Aug 26, 2024Updated last year
- Implementation of Pie, following The Little Typer☆18Updated this week
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Machine Instruction for Teyvat Automaton☆46Jul 29, 2024Updated last year
- A blank Lift app ready for Heroku☆22Sep 5, 2013Updated 12 years ago
- Class materials, homeworks and videos for probation preparation.☆19Feb 3, 2026Updated last week
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 10 months ago
- ☆11Mar 20, 2025Updated 10 months ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- ☆10May 27, 2025Updated 8 months ago
- Mechanized baselines for various type system features☆18Dec 6, 2025Updated 2 months ago
- JuliaCN 2022 archived demo repo: How Julia beats MATLAB's C codes by 1000x☆10May 25, 2023Updated 2 years ago
- HKU Moodle client that helps fetch deadlines, set reminders, view courses and so on, renovated and rewritten in Flutter.☆14Feb 8, 2025Updated last year
- Solving Competition Geometry Problems in Lean☆30Aug 26, 2025Updated 5 months ago
- A Python library to add reconstructed pronunciations of Middle Chinese on Chinese texts☆11Mar 13, 2023Updated 2 years ago
- TCCBOOT: TinyCC Boot Loader☆13Oct 24, 2014Updated 11 years ago
- Database connection management plugin for Litestar and asyncpg☆14Oct 27, 2025Updated 3 months ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 8 months ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated last month
- A small personal project to learn Clojure by implementing some simple machine learning algorithms☆29Oct 12, 2009Updated 16 years ago
- purple garden is a lean scripting language designed for performance, with aggressive optimisations, JIT compilation, fine-grained memory …☆34Updated this week
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 2 years ago
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated 10 months ago