OMicroB
Virtual machine
A virtual machine for executing OCaml programs on microcontrollers with limited resources
An OCaml generic virtual machine for microcontrollers
141 stars
18 watching
23 forks
Language: OCaml
last commit: 3 days ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
ocamllabs/vscode-ocaml-platform | An extension for Visual Studio Code to provide OCaml language support and tools | 341 |
sanderspies/ocaml | A WebAssembly backend for the OCaml programming language | 80 |
ottomatica/slim | Automates the creation of small, lightweight virtual machines from Dockerfiles | 2,093 |
ocaml/merlin | Provides context-sensitive completion for the OCaml programming language in text editors. | 1,586 |
zerovm/zerovm | An open-source virtual machine project enabling 64-bit x86 application execution in a 32-bit address space. | 817 |
outofthevoid/as3-8-bit-vm | An 8-bit virtual machine implemented in ActionScript to simulate low-level computing concepts | 5 |
vector-of-bool/semver | A C++ library for managing and manipulating semantic versioning information | 11 |
owlbarn/owl | A comprehensive OCaml scientific computing framework for high-performance numerical computations and data analysis. | 1,222 |
walksanatora/orangebox | A Virtual machine for ComputerCraft with added support for disk compression and an embedded archive tool. | 6 |
nervous-systems/sputter | An implementation of the Ethereum Virtual Machine | 122 |
kcreate/stackvm | A virtual machine with a 240x160 VRAM display and basic assembly capabilities. | 49 |
facebook/hhvm | A virtual machine designed to execute programs written in a statically-typed programming language. | 18,188 |
upc/ravada | A tool that allows users to manage and access virtual machines remotely via a web interface. | 558 |
mirage/ocaml-cohttp | An OCaml library for building HTTP clients and servers using various asynchronous programming libraries | 711 |
oguzhantopgul/vezir-project | A Linux virtual machine designed for mobile application pentesting and malware analysis. | 103 |