Web-based emulator of MIX
☆43May 27, 2026Updated 3 months ago
Alternatives and similar repositories for MIXEmulator
Users that are interested in MIXEmulator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Emulator for the MIX computer that never existed.☆26Apr 14, 2026Updated 5 months ago
- Bounded verification of UML/OCL (or EMF/OCL) models☆17Jun 13, 2018Updated 8 years ago
- EMFText is an Eclipse plug-in that allows you to define text syntax for languages described by an Ecore metamodel. EMFText enables develo…☆18Jun 2, 2019Updated 7 years ago
- Community Improvement Patch for Neptunia Sisters vs Sisters☆18Aug 15, 2025Updated last year
- ☆22Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆19Dec 2, 2025Updated 9 months ago
- 🛡️ Programmable Guardrails for LLM Applications in Java. A framework-agnostic toolkit for input/output validation, PII masking, and jail…☆16Apr 15, 2026Updated 5 months ago
- tools and techniques for building fast portable thread packages☆12Jul 10, 2013Updated 13 years ago
- PLL Simulator in SystemC-AMS☆11Jun 2, 2023Updated 3 years ago
- Formatter for Java code that is JBang friendly☆16Updated this week
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated 2 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- This project is a core-library for generate POJO's from asyncApi yaml contract.☆15Jul 1, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Official implementation of the ΔBelief-RL method.☆31Feb 28, 2026Updated 6 months ago
- A lightweight, production-ready Spring Boot library to standardize REST API responses and Global Exception Handling (RFC Standard). Inclu…☆17Feb 16, 2026Updated 7 months ago
- ☆10Apr 26, 2023Updated 3 years ago
- Java client library for integration with Freja eID☆13Jul 29, 2026Updated last month
- ☆37Sep 9, 2026Updated 2 weeks ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- ☆13Oct 31, 2021Updated 4 years ago
- Spring support for Rulii☆17Jul 13, 2026Updated 2 months ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Dec 19, 2024Updated last year
- Bayesian network toolkit, with applications for phylogenetic analysis☆11Aug 25, 2026Updated 3 weeks ago
- The best Email validator tested with JUnit☆25Jul 16, 2025Updated last year
- Instant Neural Graphics Primitives from scratch, zero dependencies. Learning by doing.☆10Aug 18, 2023Updated 3 years ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- JavaWeb开发脚手架☆20Jul 28, 2026Updated last month
- An experiment to see if chatgpt can improve the output of the stanford alpaca dataset☆12Mar 29, 2023Updated 3 years ago
- Production-ready Java implementation of the Transactional Outbox Pattern for Spring Boot 4, Kafka and PostgreSQL, with idempotency, batch…☆21Sep 11, 2026Updated last week
- EMF as RESTFul APIs☆42Aug 1, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Scala KairosDB driver☆15Aug 5, 2026Updated last month
- RISCV port of the Slackware distribution☆13Jan 15, 2026Updated 8 months ago
- Library of example SystemC/TLM peripherals for various SoCs based on the SCS library☆16Jun 29, 2026Updated 2 months ago
- Blazingly fast, modern C++ API using coroutines for efficient RTL verification and co-simulation via the VPI interface☆17Sep 9, 2026Updated 2 weeks ago
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- ☆15Updated this week
- Business Rule Engine☆22Jul 24, 2026Updated last month