☆15Oct 27, 2021Updated 4 years ago
Alternatives and similar repositories for workshop-os
Users that are interested in workshop-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:
- ☆18May 11, 2023Updated 3 years ago
- An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3☆11Mar 12, 2016Updated 10 years ago
- Examples of data structures and algorithms in Javascript☆12Jan 4, 2023Updated 3 years ago
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆14Aug 13, 2022Updated 3 years ago
- ☆10Dec 1, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 4 years ago
- ⚙️ REST api with NodeJS(KoaJS) MongoDB and Jest Tests.☆11Mar 21, 2025Updated last year
- An Obsidian vault providing documentation for Neo4j Graph View and other Semantic Markdown projects☆13Jan 4, 2021Updated 5 years ago
- Algebraic structures in OCaml.☆28Jul 5, 2026Updated 2 weeks ago
- Code style checker for Jane Street Packages☆21Jul 10, 2026Updated last week
- A CHIP8 emulator written in OCaml☆26Mar 4, 2022Updated 4 years ago
- "Vivify" extensions for RoamResearch 😜☆14Mar 5, 2023Updated 3 years ago
- Simple wrapper for REST functions☆10Dec 4, 2021Updated 4 years ago
- Material-UI port of react-jsonschema-form☆13Apr 26, 2018Updated 8 years 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.
- Apply eight-color palettes to any image. Use keyboard controls to choose a theme, set thresholds, and cycle hues.☆15Jan 5, 2023Updated 3 years ago
- Banoffee is a social networking platform tailored for avid readers and knowledge seekers.☆12Jun 20, 2024Updated 2 years ago
- ☆15Jan 22, 2018Updated 8 years ago
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 4 years ago
- ☆11Sep 24, 2021Updated 4 years ago
- ☆15Dec 1, 2016Updated 9 years ago
- an MDA that sends a webhook on recieval of mail☆11Sep 20, 2021Updated 4 years ago
- Doggo Browser☆11May 28, 2021Updated 5 years ago
- A tool for managing inline review comments embedded in source code☆15May 18, 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.
- The Mobile App Pentest cheat sheet was created to provide concise collection of high value information on specific mobile application pen…☆15Sep 29, 2019Updated 6 years ago
- Experimental TLS/SSL certificate command line checker☆17Updated this week
- Maintain state, incorporate change, broadcast deltas. Reboot on error.☆16Jun 2, 2025Updated last year
- Ubuntu Touch synchronization app for AsteroidOS.☆11Mar 2, 2026Updated 4 months ago
- RISC-V 32i Pipeline CPU and Assembler☆19May 6, 2022Updated 4 years ago
- icof - in case of fire.☆12Jul 23, 2022Updated 3 years ago
- LuaSec library for love2d games☆13Oct 7, 2021Updated 4 years ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 3 years ago
- My personal site. Contains my blog and other useful sections☆14Updated this week
- 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.
- ☆12Jul 12, 2021Updated 5 years ago
- A simple exercise in 4D shapes rendering☆12Apr 28, 2020Updated 6 years ago
- ☆15Dec 10, 2025Updated 7 months ago
- Minimal CPU Emulator Powered by the ARM PL080 DMA Controller☆36Apr 11, 2026Updated 3 months ago
- ☆21Updated this week
- ☆17Jul 19, 2022Updated 4 years ago
- ☆18Feb 18, 2026Updated 5 months ago