The core implementation of the Acorn language.
☆40Mar 2, 2026Updated last 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.☆52Feb 24, 2026Updated last week
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆37Feb 11, 2026Updated 3 weeks ago
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.☆11Feb 11, 2026Updated 3 weeks ago
- ☆29Jul 22, 2025Updated 7 months ago
- Coq code formatter☆24Jan 22, 2026Updated last month
- A search engine for Lean 4 declarations☆54Feb 10, 2026Updated 3 weeks ago
- A blazing-fast Rust rule engine with RETE algorithm, backward chaining inference, and GRL (Grule Rule Language) syntax. Features: forward…☆36Mar 1, 2026Updated last week
- A refined web framework☆38Apr 11, 2024Updated last year
- Open source game engine☆11Jan 26, 2026Updated last month
- 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…☆40Mar 2, 2026Updated last week
- Course homepage of Introduction to Computer System, Fall 2025, Fudan University☆28Nov 25, 2025Updated 3 months ago
- Extension for vk.com that makes life easier☆10Feb 4, 2021Updated 5 years ago
- ☆11Apr 8, 2013Updated 12 years ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 11 years ago
- Fast and clean schedule generator for IUers!☆12Jan 5, 2023Updated 3 years ago
- Holo is a Discord statistics bot that tracks user emoji usage.☆10Feb 23, 2020Updated 6 years ago
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 6 months ago
- ☆11Aug 23, 2023Updated 2 years ago
- Scorched Gunssss☆16Nov 9, 2025Updated 4 months ago
- ☆14Oct 30, 2024Updated last year
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- JuliaCN 2022 archived demo repo: How Julia beats MATLAB's C codes by 1000x☆10May 25, 2023Updated 2 years ago
- Stable and generic C API for Julia☆11Jan 8, 2026Updated 2 months ago
- LBFGS optimization algorithm ported from liblbfgs☆12Nov 25, 2022Updated 3 years ago
- MoonBit language interpreter☆14Feb 26, 2026Updated last week
- Implementation of Pie, following The Little Typer☆19Updated this week
- TCCBOOT: TinyCC Boot Loader☆13Oct 24, 2014Updated 11 years ago
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 11 months ago
- Database connection management plugin for Litestar and asyncpg☆14Oct 27, 2025Updated 4 months 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
- ☆10Jul 9, 2024Updated last year
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 2 years ago
- LaTeX Template for Fudan University School of Computer Science 2024☆11May 21, 2024Updated last year
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 2 months ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 9 months ago
- A blank Lift app ready for Heroku☆22Sep 5, 2013Updated 12 years ago
- Open Source bits of the core utilities used in PyVmMonitor (http://www.pyvmmonitor.com/)☆12Aug 26, 2024Updated last year
- A Rust library for accessing a Python AST using the Python ast library.☆15Aug 6, 2025Updated 7 months ago