oxidecomputer/tock external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

oxidecomputer/tock

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/oxidecomputer/tock)

Close

oxidecomputer / tockView on GitHubMore

• External links
• Readme badge

A secure embedded operating system for microcontrollers

☆19Mar 4, 2020Updated 5 years ago

Alternatives and similar repositories for tock

Users that are interested in tock are comparing it to the libraries listed below

• lemire / SIMDgameoflife

  View on GitHub
  Vectorized (AVX) version of the game of life
  ☆29Jul 19, 2018Updated 7 years ago
• jevinskie / riscv-smol-linux-kernel

  View on GitHub
  Patched sources/configs for RISC-V Linux with musl-based toolchain targeting 8 MB RAM
  ☆24Oct 13, 2022Updated 3 years ago
• hlandau / kvmtest

  View on GitHub
  An experimental VMM for KVM written in pure Python
  ☆33Jun 4, 2023Updated 2 years ago
• Devronium / ConceptApplicationServer

  View on GitHub
  Concept Application Server
  ☆12Feb 22, 2026Updated last week
• tmpvar / node-irrklang

  View on GitHub
  WARNING: this requires a 32 bit build of node on osx! (tested only on osx)
  ☆14Oct 24, 2011Updated 14 years ago
• oxidecomputer / illumos-gate

  View on GitHub
  An open-source Unix operating system
  ☆50Updated this week
• chaoran / node-throttle

  View on GitHub
  A Node.js module backed by Redis that helps with rate limiting.
  ☆19Apr 1, 2013Updated 12 years ago
• highlayer-team / glomium

  View on GitHub
  Secure, isolated, resource-metered, deterministic JS eval
  ☆10Jun 23, 2024Updated last year
• ryjm / citadel

  View on GitHub
  desk management on urbit
  ☆11Oct 14, 2023Updated 2 years ago
• L-A-Marchetti / Vec

  View on GitHub
  🌀 A minimal C library offering generic, contiguous dynamic arrays with O(1) amortized push.
  ☆19Sep 22, 2025Updated 5 months ago
• security-union / embedded-rust-projects-to-inspire-you

  View on GitHub
  Embedded Rust Projects
  ☆13Jun 12, 2024Updated last year
• OrangeAVA / Ultimate-Typescript-Handbook

  View on GitHub
  Ultimate Typescript Handbook, published by Orange AVA™
  ☆11Jul 18, 2023Updated 2 years ago
• max-mapper / wiki-plugin-datscript

  View on GitHub
  a federated wiki plugin for datscript
  ☆12Jun 26, 2015Updated 10 years ago
• h2000 / zed-roc

  View on GitHub
  ☆13Jan 29, 2026Updated last month
• Storm-WG / storm-core

  View on GitHub
  Core components for building storm LNP channels & applications
  ☆12Jan 26, 2024Updated 2 years ago
• holepunchto / bare-node

  View on GitHub
  Compatibility modules for Node.js builtins in Bare
  ☆12Oct 22, 2025Updated 4 months ago
• deathtothecorporation / pallas

  View on GitHub
  ☆12Oct 4, 2024Updated last year
• mklement0 / fls

  View on GitHub
  A type-filtering wrapper for the standard ls Unix utility
  ☆13Feb 19, 2026Updated last week
• danvick / flutter_touch_spin

  View on GitHub
  Simple number input spinner Widget for Flutter.
  ☆11May 21, 2024Updated last year
• callmemagnus / nextcloud-searchpage

  View on GitHub
  App for Nextcloud providing a proper search page
  ☆11Feb 22, 2026Updated last week
• thornleywalker / zfec-rs

  View on GitHub
  ☆11Jul 17, 2023Updated 2 years ago
• shelmangroup / envoy-oidc-authserver

  View on GitHub
  An implementation of Envoy External Authorization
  ☆10Aug 1, 2025Updated 7 months ago
• FuzzrNet / Forage

  View on GitHub
  Forage is for Storage
  ☆12Jun 15, 2022Updated 3 years ago
• nmirabeth / event_human

  View on GitHub
  This repository summarizes the human-centered applications of event data
  ☆13Jan 31, 2025Updated last year
• kfl / wpp

  View on GitHub
  A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.
  ☆19Mar 20, 2021Updated 4 years ago
• nadymain / hexo-theme-nadymainjade

  View on GitHub
  NadyMainJade Theme for Hexo
  ☆10Oct 22, 2014Updated 11 years ago
• atrosinenko / memtest86-plus-riscv

  View on GitHub
  Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)
  ☆16Jan 26, 2020Updated 6 years ago
• marc-portier / uri-templates

  View on GitHub
  Javascript implementation for the URI Templates draft spec maintained at http://code.google.com/p/uri-templates/
  ☆25Oct 18, 2013Updated 12 years ago
• DavidMazarro / wasm-verify

  View on GitHub
  A proof-of-concept formal verification tool for WebAssembly.
  ☆10Mar 3, 2024Updated last year
• temptemp3 / sh2

  View on GitHub
  public bash library scripts
  ☆14May 22, 2021Updated 4 years ago
• mdlayher / wifiqr

  View on GitHub
  Package wifiqr implements support for generating WiFi QR codes. MIT Licensed.
  ☆13Oct 1, 2024Updated last year
• Snaipe / toy-containers

  View on GitHub
  Fast, lightweight toy container system
  ☆11Oct 18, 2020Updated 5 years ago
• fredrequin / JiVe

  View on GitHub
  Small micro-coded RISC-V softcore
  ☆15Nov 27, 2018Updated 7 years ago
• Stefan-Code / peer-harvest

  View on GitHub
  Get the IP adresses of Bittorrent Peers
  ☆13Oct 14, 2016Updated 9 years ago
• mdminhazulhaque / DesktopPopup

  View on GitHub
  A simple Qt based desktop popup utility
  ☆10Aug 3, 2020Updated 5 years ago
• chm-diederichs / sha256-wasm

  View on GitHub
  SHA256 implemented in WASM
  ☆13Jun 2, 2023Updated 2 years ago
• voltagecloud / voltageapp.io

  View on GitHub
  https://voltageapp.io
  ☆12Sep 30, 2021Updated 4 years ago
• crumhorn / wsdl2graphql

  View on GitHub
  Generates GraphQL mappings from a WSDL file or URL
  ☆10Mar 6, 2018Updated 7 years ago
• filecoin-project / mapr

  View on GitHub
  cross-platform Rust API for memory mapped IO
  ☆10Sep 25, 2020Updated 5 years ago