Educational virtual machine
☆13Dec 20, 2018Updated 7 years ago
Alternatives and similar repositories for mathvm
Users that are interested in mathvm are comparing it to the libraries listed below
Sorting:
- External data source connector for YDB Federated Query☆11Feb 25, 2026Updated last week
- Simple OBS whiteboard/telestrator plugin☆14Aug 1, 2025Updated 7 months ago
- Provides secured REST API for sending messages to Telegram. Uses MQTT under the hood.☆11Apr 5, 2025Updated 11 months ago
- Aeternity virtual machines byte code modules☆14Apr 26, 2024Updated last year
- Tutorial repository for creating macOS virtual machines☆14Sep 30, 2018Updated 7 years ago
- Simple Azure Virtual Machines Manager☆10Dec 29, 2015Updated 10 years ago
- The historical, initial implementation of an ooc compiler in Java☆115Feb 6, 2013Updated 13 years ago
- Parse images from the web site, adjust colors and resize to suit telegram requirements☆15Aug 8, 2021Updated 4 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- ☆16Mar 6, 2024Updated 2 years ago
- graphical console client for virtual machines using spice/vnc☆12Jan 23, 2014Updated 12 years ago
- A simple token-based modular programming language written in C++.☆10Apr 28, 2022Updated 3 years ago
- A virtual machine for using rake-compiler☆36Mar 1, 2021Updated 5 years ago
- Speakup is a screen review package for the Linux operating system☆13Nov 18, 2022Updated 3 years ago
- ☆12Mar 11, 2024Updated last year
- Trie implementation to search words from dictionary with wild card characters☆11Jul 17, 2013Updated 12 years ago
- Return a result ErrorOr with either a value T or an error Object.☆11Jul 7, 2025Updated 7 months ago
- [DEPRECATED] Travis Boxes makes provisioning and configuring Virtual Box machines simple and easy.☆76Jan 2, 2024Updated 2 years ago
- UmPlot: A plotting library for Umka☆13Jun 8, 2024Updated last year
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- The repository contains public sources of the CPDev (Control Program Developer) virtual machine runtime (VM). The environment is availabl…☆18Nov 21, 2025Updated 3 months ago
- ☆10Sep 9, 2016Updated 9 years ago
- Docker image for Kotlin Programming Language☆11Aug 17, 2020Updated 5 years ago
- Set up a persistent tunnel (using autossh) in Debian-like systems (server side)☆10Jul 24, 2025Updated 7 months ago
- Fork of QEMU with Virtual Machine Introspection patches☆14Sep 13, 2023Updated 2 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
- Simple PowerShell script that creates an Azure RM Virtual Machine with dependencies☆11Jul 3, 2017Updated 8 years ago
- A virtual machine for developing and testing Canvas LMS☆13Mar 8, 2013Updated 12 years ago
- Highly simplified Java and Davlk virtual machine implementations☆23Mar 3, 2014Updated 12 years ago
- Mu is a modern, modular, system programming language and scripting toolchain☆12Jan 13, 2016Updated 10 years ago
- ☆13Nov 25, 2022Updated 3 years ago
- daScript language support☆13Feb 25, 2026Updated last week
- Files related to A. Jesse Jiryu Davis's PyCon 2023 talk.☆13Feb 21, 2024Updated 2 years ago
- colorful, text-based calendar widget for Android☆13Dec 11, 2023Updated 2 years ago
- My studies on context-free grammar, using ANTLR4 (C++) to generate the parser files. Some basics are developed, such as token processing…☆11Oct 17, 2022Updated 3 years ago
- A conceptual Java Virtual Machine written in JavaScript.☆32Aug 25, 2015Updated 10 years ago
- Tree Sitter grammar for Android XML files☆11Sep 25, 2023Updated 2 years ago
- ☆12Aug 29, 2023Updated 2 years ago
- Precise, Type-Safe Monetary Calculations in Python☆15Updated this week