Mu is a modern, modular, system programming language and scripting toolchain
☆12Jan 13, 2016Updated 10 years ago
Alternatives and similar repositories for mu
Users that are interested in mu are comparing it to the libraries listed below
Sorting:
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- Unofficial Wiki for the Nano Cryptocurrency☆11Nov 25, 2018Updated 7 years ago
- A simple and educational compiler for the SASL programming language☆23Apr 16, 2018Updated 7 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- Portable high-level assembler with authentic C syntax☆25Jul 1, 2022Updated 3 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Script to help confirm unconfirmed Nano transactions. Donate: nano_37f4cm1tu94tteodph6xwwnoowhiae3q483kgfwzd75ns7tbp9uknot4qihe☆26Mar 22, 2022Updated 3 years ago
- Core contracts for the trading/liquidity in PaintSwap☆11Jan 7, 2025Updated last year
- The First Blockchain Network Built to Facilitate Meme | The Web3 Meme creator https://memeart.io☆13Apr 24, 2023Updated 2 years ago
- x86 assembler in 512 bytes of x86 machine code☆38Dec 1, 2019Updated 6 years ago
- Python implementation of NANO related functions.☆34Updated this week
- C-- compiler upstream☆43Sep 22, 2020Updated 5 years ago
- The perfect tool for Nano representatives lists and network statistics☆37Mar 4, 2023Updated 3 years ago
- Simple OBS whiteboard/telestrator plugin☆14Aug 1, 2025Updated 7 months ago
- Faster access to Tesseract-OCR from Python☆13Jun 8, 2021Updated 4 years ago
- Basic implementation of a double auction in Python☆10Aug 30, 2021Updated 4 years ago
- Smart contracts for the yield farming for PaintSwap☆10Jul 16, 2021Updated 4 years ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- Provides secured REST API for sending messages to Telegram. Uses MQTT under the hood.☆11Apr 5, 2025Updated 10 months ago
- (OBSOLETE) A B Compiler for x86☆52Nov 14, 2023Updated 2 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- We set out to reduce jitter/latency on our Forex Trading applications to the max, the focus was on the operating system level as well as …☆10Dec 31, 2020Updated 5 years ago
- 💊 Result Type for Dart represents either a success or a failure, including an associated value in each case.☆12Apr 30, 2024Updated last year
- An open source 6502 compatible modern BASIC☆11May 13, 2021Updated 4 years ago
- Low-level HTTP/2 client implementation for experimenting with the protocol.☆11Jul 26, 2020Updated 5 years ago
- A little way to control Cookies, LocalStorage and SessionStorage without tears☆10Jun 18, 2024Updated last year
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- HW: a modern, open-source, typeless, turing-incomplete programming language.☆10Jul 17, 2018Updated 7 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- UmPlot: A plotting library for Umka☆13Jun 8, 2024Updated last year
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 10 years ago
- A small implementation of a regular expression matching engine, written in standard C11.☆13Jan 4, 2017Updated 9 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- ☆10Jun 14, 2022Updated 3 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year