☆22May 8, 2016Updated 9 years ago
Alternatives and similar repositories for miniml
Users that are interested in miniml are comparing it to the libraries listed below
Sorting:
- Image viewer with tag based filtering☆16Jan 4, 2026Updated 2 months ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- An LLVM compiler for an ML-like language (written in Rust)☆62Feb 28, 2022Updated 4 years ago
- N. Wirth's Project Oberon RISC compiler ported to Go.☆18Feb 12, 2024Updated 2 years ago
- Text extraction from PDF☆17Dec 7, 2024Updated last year
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Mar 6, 2017Updated 9 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- A splay tree implementation written in Rust☆27Dec 28, 2018Updated 7 years ago
- An x86 assembler that you probably shouldn't use☆22Aug 15, 2018Updated 7 years ago
- Mitochondria is the powerhouse of the `Cell`☆30Nov 20, 2016Updated 9 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆118Apr 6, 2019Updated 6 years ago
- The Fluid Programming Language☆23Mar 1, 2021Updated 5 years ago
- It's the stock market game but for Wikipedia articles!☆10Nov 19, 2024Updated last year
- A Rust implementation of AUTOSTAR's Scalable service-Oriented MiddlewarE over IP (SOME/IP).☆13Dec 17, 2025Updated 2 months ago
- Pythagorean Numerology Calculator☆14Mar 21, 2024Updated last year
- Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.☆14Sep 2, 2022Updated 3 years ago
- Source in Pascal, Modula-2 and Oberon for PL/0 and Oberon-0 from N. Wirth's books about Compiler Contruction.☆34May 18, 2023Updated 2 years ago
- A golden file testing library for rust☆38Sep 29, 2025Updated 5 months ago
- Template for a (PhD) thesis☆11Nov 5, 2025Updated 4 months ago
- Side-by-side diff for two files☆38Oct 9, 2025Updated 4 months ago
- Famous game implemented in ReactJs tehnology.☆14Mar 4, 2023Updated 3 years ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- Scheme on SECD☆43Feb 9, 2021Updated 5 years ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- A purely functional cheminformatics toolkit written in Scala☆16Jun 7, 2013Updated 12 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Rust NonEmpty slice☆13Jul 5, 2021Updated 4 years ago
- Rest your pinkies.☆11Oct 27, 2016Updated 9 years ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- Literally does the opposite of Ciphey. Encrypts text.☆11Feb 25, 2021Updated 5 years ago
- INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.☆12Sep 14, 2022Updated 3 years ago
- A game for Lounge's game jam☆10Mar 22, 2015Updated 10 years ago
- mdBook Pikchr☆11Nov 18, 2025Updated 3 months ago
- A super-simple compiler demoing how to talk to LLVM from Rust☆97Jul 4, 2016Updated 9 years ago
- Zero-terminated string types for FFI.☆13Mar 13, 2023Updated 2 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- Original Joy☆11Dec 17, 2024Updated last year
- A C & x86 version of the "Let's Build a Compiler" by Jack Crenshaw☆10Nov 30, 2018Updated 7 years ago