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.☆28May 5, 2026Updated 2 months ago
- Document about design of a GNSS receiver☆14May 28, 2020Updated 6 years ago
- ☆16Feb 5, 2018Updated 8 years ago
- An open-source Unix operating system☆58Updated this week
- Some crazy experiments about using a FPGA to transmit a TV signal old-style☆13Oct 13, 2018Updated 7 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.
- LiteX LUNA USB stack integration☆14Jun 12, 2022Updated 4 years ago
- Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)☆16Jan 26, 2020Updated 6 years ago
- Picorv32 SoC that uses only BRAM, not flash memory☆13Nov 27, 2018Updated 7 years ago
- a small simple slow serial FPGA core☆16Mar 11, 2021Updated 5 years ago
- Finding the bacteria in rotting FPGA designs.☆14Dec 28, 2020Updated 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
- USB Full-Speed core written in migen/LiteX☆17Sep 2, 2019Updated 6 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.
- This module provides an echo middleware which automatically bundles assets using esbuild.☆11Dec 22, 2023Updated 2 years ago
- Embedded Rust Projects☆13Jun 12, 2024Updated 2 years ago
- A Rust display driver for the SSD1327☆16Nov 22, 2021Updated 4 years ago
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Apr 14, 2025Updated last year
- A SoC for DOOM☆20Apr 11, 2021Updated 5 years ago
- Kubernetes tools in a "distroless" container☆13Oct 30, 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
- 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.
- Alternative compiler for the J1B embedded CPU☆15Oct 31, 2020Updated 5 years ago
- OS-free port of LwIP stack to ARM board with lan91c111 ethernet controller☆15Feb 12, 2021Updated 5 years ago
- Package wifiqr implements support for generating WiFi QR codes. MIT Licensed.☆14Oct 1, 2024Updated last year
- ☆15Aug 14, 2024Updated last year
- Icestudio collection for standard Input-Output in different devices☆15Jun 28, 2024Updated 2 years ago
- A linux'ish build system for System on Chip designs, based on GHDL☆14Dec 14, 2024Updated last year
- A command-line password manager☆32Apr 1, 2016Updated 10 years ago
- Skoltech Geometric Computer Vision v.2021.1☆11Mar 22, 2021Updated 5 years ago
- ☆15Oct 5, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆12Apr 21, 2014Updated 12 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
- An implementation of Envoy External Authorization☆10Aug 1, 2025Updated 11 months ago
- FPGA Development toolset☆20Jun 15, 2017Updated 9 years ago
- ☆11Jul 17, 2023Updated 2 years ago
- Collection of test cases for Yosys☆17Jan 4, 2022Updated 4 years ago