tsklxiv / milView external linksLinks
A small, concatenative programming language. Implemented in C99.
☆14Aug 8, 2022Updated 3 years ago
Alternatives and similar repositories for mil
Users that are interested in mil are comparing it to the libraries listed below
Sorting:
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 2 years ago
- The execution environment and command line interface for AliceScript.☆11Sep 15, 2025Updated 4 months ago
- The Thue programming language: Programming with grammars☆33Oct 9, 2025Updated 4 months ago
- willow - a simple interpreted programming language☆10Feb 3, 2018Updated 8 years ago
- ☆12Nov 22, 2024Updated last year
- An experimental text editor using freetype2 and OpenGL. Written in Haskell.☆12Jan 23, 2014Updated 12 years ago
- 🖼️📏 Web app to liven your photos with a glitch effect☆15Updated this week
- (deprecated) A repository for holding patches and information (wiki) for running ROS on Mac OS X☆15Sep 24, 2015Updated 10 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- a kernel☆13Sep 24, 2023Updated 2 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Aug 6, 2021Updated 4 years ago
- a lisp interpreter written in Go☆14Jun 24, 2020Updated 5 years ago
- Documentation for the Othermill in B27 Garage☆12Apr 28, 2017Updated 8 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- Code to create a sqlite db from USDA nutrition database☆15Nov 18, 2016Updated 9 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Make pixel art in emacs buffers.☆13Feb 22, 2023Updated 2 years ago
- Javascript port of Chuck Moore's colorForth☆10Jan 7, 2020Updated 6 years ago
- Build Your Own Editor is a simple set of libraries and tools for creating editor-like, console-based applications.☆11Aug 1, 2017Updated 8 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- Context Free Channel - All about programming languages☆12Oct 30, 2024Updated last year
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- A range of tools related to one-endpoint crossing graphs - parsing, format conversion, and evaluation☆11Nov 8, 2022Updated 3 years ago
- A collection of sounds from places I've been☆15Jul 18, 2023Updated 2 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Basic linear algebra for small matrices in C☆12Sep 9, 2025Updated 5 months ago
- ☆11Nov 18, 2024Updated last year
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- Cynthia Solomon's history of Logo☆12Jan 21, 2025Updated last year
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year
- The tiniest standalone script to make a window on MacOS☆12Jan 21, 2023Updated 3 years ago
- drawing++ class held fall 2022 at MIT☆15Oct 30, 2025Updated 3 months ago
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Aug 19, 2025Updated 5 months ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 4 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated 11 months ago
- ☆15Feb 1, 2022Updated 4 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Jun 16, 2022Updated 3 years ago