A secure embedded operating system for microcontrollers
☆19Mar 4, 2020Updated 6 years ago
Alternatives and similar repositories for tock
Users that are interested in tock are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An experimental IPC interface definition language for Hubris.☆29Oct 10, 2026Updated 3 weeks ago
- See https://github.com/cs341-illinois/on-demand☆11May 25, 2025Updated last year
- Verilog dbus (TI transfer bus) implementation and bridge to UART. High-performance link with TI calculators such as TI-89.☆13Sep 25, 2025Updated last year
- Small micro-coded RISC-V softcore☆16Nov 27, 2018Updated 7 years ago
- GSoC 2017: Museum on FPGA - EDSAC☆10Sep 8, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- a small simple slow serial FPGA core☆16Mar 11, 2021Updated 5 years ago
- Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)☆16Jan 26, 2020Updated 6 years ago
- This module provides an echo middleware which automatically bundles assets using esbuild.☆11Dec 22, 2023Updated 2 years ago
- ☆15May 17, 2025Updated last year
- Provides automation scripts for building BFMs☆16Apr 19, 2025Updated last year
- converts catgirls to gds files☆15May 24, 2021Updated 5 years ago
- Camellia cipher in Go☆12Nov 19, 2019Updated 6 years ago
- Rust firewall for seL4☆11Jun 20, 2018Updated 8 years ago
- Icestudio collection for standard Input-Output in different devices☆15Jun 28, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An open-source Unix operating system☆68Updated this week
- Connor is a condition evaluator for Go inspired by MongoDB's query language☆11Sep 28, 2026Updated last month
- Cross compile FPGA tools☆21Jan 4, 2021Updated 5 years ago
- Package wifiqr implements support for generating WiFi QR codes. MIT Licensed.☆14Oct 1, 2024Updated 2 years ago
- 👾 Full-featured RFC 8949 CBOR for Rust: async item I/O, serde round trips, canonical/deterministic encoding, Value/RawValue, CBOR simple…☆15Sep 24, 2026Updated last month
- cross-platform Rust API for memory mapped IO☆10Sep 25, 2020Updated 6 years ago
- Generates CMSIS-SVD xml files from DTS info and Register templates☆12Apr 4, 2025Updated last year
- Go bindings for the openzwave library.☆13Oct 19, 2020Updated 6 years ago
- Toying around virtualising macOS for development purposes☆11Aug 25, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Collection of test cases for Yosys☆18Jan 4, 2022Updated 4 years ago
- A Bazel ruleset for generating configuration files with Nickel☆13Jan 25, 2026Updated 9 months ago
- An implementation of Envoy External Authorization☆11Aug 1, 2025Updated last year
- Kubernetes tools in a "distroless" container☆13Oct 30, 2023Updated 3 years ago
- ☆11Mar 5, 2024Updated 2 years ago
- A P4-powered packet tracer.☆13Jul 28, 2026Updated 3 months ago
- Publish FluxCD events to Google PubSub. Trigger flux syncs from github webhooks.☆12Dec 5, 2025Updated 10 months ago
- Cross platform OIDC agent☆11Feb 24, 2023Updated 3 years ago
- Distributed, Lazy, Pure Functional Build Tool for Reproducible Research☆17Nov 3, 2014Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- group varint encoding☆11Feb 7, 2011Updated 15 years ago
- FPGA Development toolset☆20Jun 15, 2017Updated 9 years ago
- ☆17Apr 13, 2018Updated 8 years ago
- Distributed, fault tolerant, strongly consistent, performant (event)log in Rust☆20May 30, 2023Updated 3 years ago
- Drone plugin for publishing Docker images via buildah tool☆11Updated this week
- ☆12Sep 11, 2019Updated 7 years ago
- ☆12Jun 29, 2026Updated 4 months ago