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.☆27Updated this week
- Patched sources/configs for RISC-V Linux with musl-based toolchain targeting 8 MB RAM☆24Oct 13, 2022Updated 3 years ago
- Small micro-coded RISC-V softcore☆15Nov 27, 2018Updated 7 years ago
- ☆16Feb 5, 2018Updated 8 years ago
- An open-source Unix operating system☆52Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Some crazy experiments about using a FPGA to transmit a TV signal old-style☆13Oct 13, 2018Updated 7 years ago
- An experimental VMM for KVM written in pure Python☆33Jun 4, 2023Updated 2 years ago
- Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)☆16Jan 26, 2020Updated 6 years ago
- Atom Hardware IDE☆13May 4, 2021Updated 4 years ago
- Finding the bacteria in rotting FPGA designs.☆14Dec 28, 2020Updated 5 years ago
- a small simple slow serial FPGA core☆16Mar 11, 2021Updated 5 years ago
- ice40 UltraPlus demos☆16Oct 4, 2019Updated 6 years ago
- Example Trussed app, implementing OATH TOTP, running on PC.☆23Nov 24, 2021Updated 4 years ago
- Small footprint and configurable HyperBus core☆14Jul 6, 2022Updated 3 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- USB Full-Speed core written in migen/LiteX☆17Sep 2, 2019Updated 6 years ago
- This module provides an echo middleware which automatically bundles assets using esbuild.☆11Dec 22, 2023Updated 2 years ago
- Embedded Rust Projects☆13Jun 12, 2024Updated last year
- Kubernetes tools in a "distroless" container☆13Oct 30, 2023Updated 2 years ago
- ☆15May 17, 2025Updated 10 months ago
- Provides automation scripts for building BFMs☆16Apr 19, 2025Updated 11 months ago
- Alternative compiler for the J1B embedded CPU☆15Oct 31, 2020Updated 5 years ago
- converts catgirls to gds files☆15May 24, 2021Updated 4 years ago
- Package wifiqr implements support for generating WiFi QR codes. MIT Licensed.☆13Oct 1, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆15Aug 14, 2024Updated last year
- Icestudio collection for standard Input-Output in different devices☆15Jun 28, 2024Updated last year
- A linux'ish build system for System on Chip designs, based on GHDL☆12Dec 14, 2024Updated last year
- RISCV SoftCPU Contest 2018☆14Nov 17, 2018Updated 7 years ago
- A unix-like operating system written in C for retro computers☆26Updated this week
- This repository contains simulation files and other relevant files on the On-chip clock multiplier (PLL) (Fclkin—5MHz to 12MHz, Fclkout—4…☆15Oct 18, 2021Updated 4 years ago
- ☆12Apr 21, 2014Updated 11 years ago
- Toying around virtualising macOS for development purposes☆11Aug 25, 2020Updated 5 years ago
- groupcache is a caching and cache-filling library, intended as a replacement for memcached in many cases.☆11Apr 3, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An implementation of Envoy External Authorization☆10Aug 1, 2025Updated 8 months ago
- ☆11Jul 17, 2023Updated 2 years ago
- Collection of test cases for Yosys☆17Jan 4, 2022Updated 4 years ago
- Rust crate for retrieving memory page size☆15Aug 3, 2023Updated 2 years ago
- Retrieve the common prefix across multiple strings☆14Mar 9, 2016Updated 10 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- a federated wiki plugin for datscript☆12Jun 26, 2015Updated 10 years ago