A research operating system that runs WebAssembly as the primary execution environment on bare metal
☆17Apr 12, 2026Updated 6 months ago
Alternatives and similar repositories for wasm-os
Users that are interested in wasm-os are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PCBoard design for an MSX expansion slot adapter to 1 full expansion slot + 1 IO Slot.☆11Mar 18, 2018Updated 8 years ago
- libcv/libcvu for ColecoVision/SMS/MSX programming with SDCC C compiler☆11Aug 18, 2019Updated 7 years ago
- The Haiku operating system. (Pull requests will be ignored; patches may be sent to https://review.haiku-os.org).☆12Aug 29, 2026Updated 2 months ago
- MSX2+ FPGA core (Z80, V9958, SCC/OPLL, SD+Nextor, + ColecoVision & SG-1000) ported from Tang Nano/Gowin to the Lattice ECP5-45F (IcePi Ze…☆13Updated this week
- ☆13Jan 2, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Generic pretty-printer for program output☆12Jul 19, 2025Updated last year
- ☆12Aug 18, 2020Updated 6 years ago
- Build, traverse and deserialise packed data in Haskell☆11Sep 16, 2026Updated last month
- ☆18Jan 10, 2026Updated 9 months ago
- Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications☆11Dec 3, 2024Updated last year
- Framework-agnostic TypeScript library for validating ordered date sequences, with adapters for React Hook Form and Zod☆19Apr 4, 2026Updated 6 months ago
- ELO Learning is an innovative educational app designed to make learning mathematics engaging and enjoyable. Rather than grouping students…☆12Oct 24, 2025Updated last year
- NanoRV32 -- A small RV32I[MC] core capable of running RTOS☆14Nov 18, 2022Updated 3 years ago
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Haskell clone of https://cstack.github.io/db_tutorial☆11Jun 30, 2020Updated 6 years ago
- Easy SMT solver interaction☆37Feb 3, 2026Updated 8 months ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Jan 14, 2019Updated 7 years ago
- MSX Unimapper cartridge☆19Oct 2, 2023Updated 3 years ago
- ☆15Dec 19, 2025Updated 10 months ago
- Headless, type-safe & powerful utilities to build apps with ODD SDK and Passkeys.☆13Jul 5, 2023Updated 3 years ago
- Small game engine written in Z80 assembler for MSX. Based upon ASMSX compiler.☆19Dec 23, 2021Updated 4 years ago
- Verification of an Asynchronous FIFO using UVM & SVA☆13Jun 26, 2025Updated last year
- OmniSCC catridge for MSX☆23Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- MSXπ✨✨✨✨✨✨✨固件☆14Updated this week
- A flat container abstraction for Rust☆17Nov 24, 2025Updated 11 months ago
- Utilities for making your applications more debuggable.☆16Jun 4, 2026Updated 4 months ago
- A Verilog implementation of Multi-bit-throughput LFSR with an detailed document about LFSRs for HW design engineers☆10Jan 2, 2026Updated 9 months ago
- Idris backend targeting Elixir (Work in progress)☆18Jan 26, 2017Updated 9 years ago
- A tiny 3-stage RISC-V core written in Chisel.☆18Apr 14, 2023Updated 3 years ago
- MSX FUNCTIONAL COLLECTION☆18Sep 10, 2026Updated last month
- A Racket library for writing PDF files☆14Sep 9, 2015Updated 11 years ago
- A purely functional higher order logic kernel☆15Sep 12, 2026Updated last month
- 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.
- AI Code Detector based on commit patterns☆12Jan 10, 2026Updated 9 months ago
- GTKWave Decoders for RISCV☆15Aug 16, 2025Updated last year
- An example to show JS users can use Rescript based library without using ReScript☆15Feb 10, 2021Updated 5 years ago
- Shen implementation in Haskell☆16Aug 19, 2013Updated 13 years ago
- ☆19Oct 16, 2026Updated 2 weeks ago
- A few simple example projects demonstrating how to use some core features of STM32 UART peripherals.☆15Jul 24, 2022Updated 4 years ago
- Public issue tracker for garnix.io☆16Feb 15, 2022Updated 4 years ago