Aeon programming language
☆25Feb 9, 2026Updated 3 weeks ago
Alternatives and similar repositories for aeon
Users that are interested in aeon are comparing it to the libraries listed below
Sorting:
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Updated this week
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆24Jan 19, 2026Updated last month
- ☆22Nov 23, 2023Updated 2 years ago
- Refinement type checker for Java with liquid types and typestates - catch bugs at compile time☆54Updated this week
- Kanban Tool Extension Development Kit☆10Feb 27, 2019Updated 7 years ago
- Liquid Types implementation for Rust☆30Sep 30, 2022Updated 3 years ago
- Development of the CafeOBJ interpreter☆40Nov 18, 2024Updated last year
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆44Feb 20, 2026Updated last week
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆32May 18, 2023Updated 2 years ago
- ☆34Oct 1, 2024Updated last year
- ☆10Jul 29, 2022Updated 3 years ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 3 months ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- ☆12May 24, 2025Updated 9 months ago
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- The set of released emails of Jeffrey Epstein processed into an Obsidian Vault using the Obsidian Importer plugin an Claude Code.☆25Nov 15, 2025Updated 3 months ago
- Front-end templating, build, and deploy for VA.gov CMS content.☆13Updated this week
- ☆10Apr 12, 2021Updated 4 years ago
- Profitable MT5 Expert Advisors☆21Feb 22, 2026Updated last week
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆32Feb 20, 2026Updated last week
- VETA - A simple tool do evaluate variant predictors☆11Jun 17, 2024Updated last year
- The Haskell Foundation website, hosted by GitHub Pages.☆41Feb 24, 2026Updated last week
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- Metropolitan Segment Traffic Speeds from Massive Floating Car Data in 10 Cities☆12May 22, 2023Updated 2 years ago
- A package to simplify integration of language models into Unity.☆16Oct 14, 2025Updated 4 months ago
- Grammar synthesis algorithm using a black box oracle☆37May 17, 2024Updated last year
- Hesh is fun with hashes! Eventually more, but this works for now☆12Sep 11, 2018Updated 7 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- A Prometheus exporter for PMS5003 Particulate Matter/Air Quality sensors.☆11Apr 2, 2025Updated 11 months ago
- Convert datasets from Hugging Face to FiftyOne for Visualization☆11Mar 15, 2024Updated last year
- Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.☆17Updated this week
- Albumentations Data Augmentation Plugin for FiftyOne!☆14Aug 22, 2024Updated last year
- A CLI dictionnary app. Create your own dictionnary and save everything you want. Anything but text only :)☆11Jul 5, 2022Updated 3 years ago
- Thirty stories about the Land Registry price paid open data set☆15Dec 3, 2014Updated 11 years ago
- 🐻🦊 Firefox extension to get rid of Google addiction☆10Dec 19, 2018Updated 7 years ago