matklad / minimlView external linksLinks
☆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 last month
- 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 3 years ago
- Thoth is a fast, desktop JSON/NDJSON viewer built with Rust + egui. It opens ~500 MB files by lazily parsing only visible/expanded nodes,…☆48Feb 4, 2026Updated last week
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Mar 6, 2017Updated 8 years ago
- A modern dialogue executor and tree parser using YAML.☆26Nov 20, 2022Updated 3 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- An x86 assembler that you probably shouldn't use☆22Aug 15, 2018Updated 7 years ago
- 👀 Multi-peek iterator (no-std)☆27Dec 10, 2024Updated last year
- 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
- Mokoid: 上機練習範本，完整內容: https://github.com/jollen/android-framework-mokoid☆30Mar 9, 2014Updated 11 years ago
- Pythagorean Numerology Calculator☆14Mar 21, 2024Updated last year
- Template for a (PhD) thesis☆10Nov 5, 2025Updated 3 months ago
- A golden file testing library for rust☆38Sep 29, 2025Updated 4 months ago
- Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.☆14Sep 2, 2022Updated 3 years ago
- A Rust implementation of AUTOSTAR's Scalable service-Oriented MiddlewarE over IP (SOME/IP).☆13Dec 17, 2025Updated last month
- 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 basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆43May 1, 2016Updated 9 years ago
- Side-by-side diff for two files☆38Oct 9, 2025Updated 4 months ago
- Installation and launch Alpine Linux scripts for armv7 and aarch64 on x86_64☆15May 5, 2025Updated 9 months ago
- Rust NonEmpty slice☆13Jul 5, 2021Updated 4 years ago
- INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.☆12Sep 14, 2022Updated 3 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Yocto Explorer: is a command line tool to ease the manipulation of files under the directory structure adopted by O.S. Systems to organiz…☆10Feb 23, 2022Updated 3 years ago
- Literally does the opposite of Ciphey. Encrypts text.☆11Feb 25, 2021Updated 4 years ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- Famous game implemented in ReactJs tehnology.☆14Mar 4, 2023Updated 2 years ago
- A purely functional cheminformatics toolkit written in Scala☆16Jun 7, 2013Updated 12 years ago
- A game for Lounge's game jam☆10Mar 22, 2015Updated 10 years ago
- Original Joy☆10Dec 17, 2024Updated last year
- Typed definitions for standard Javascript globals☆11Dec 17, 2020Updated 5 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago
- ☆10May 14, 2020Updated 5 years ago
- Bindings to provide authentication and access to Firestore data in React.☆19Apr 14, 2018Updated 7 years ago
- ☆11Feb 20, 2025Updated 11 months ago
- A multi-threaded job scheduler in Rust.☆14Aug 18, 2022Updated 3 years ago