My code for Baking Pi - Operating Systems Development online course by Cambridge University (Raspberry Pi 3 update)
☆28Jul 19, 2023Updated 2 years ago
Alternatives and similar repositories for baking-pi
Users that are interested in baking-pi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tutorial: Writing a "bare metal" ARM64 (AARCH64) Hypervisor for Raspberry Pi 4.☆18May 8, 2022Updated 3 years ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆55Oct 2, 2021Updated 4 years ago
- FPGA raycaster engine written in verilog☆12Apr 19, 2019Updated 7 years ago
- Fast, compact floating point math for ARM Cortex-M0+ MCUs.☆11Apr 16, 2025Updated last year
- Simple TTF rasterizer☆11Mar 29, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- pyz80 - a Z80 cross assembler☆24Aug 28, 2025Updated 7 months ago
- Top-down maze game.☆12Mar 27, 2026Updated 3 weeks ago
- Solutions to Modern Compiler Implementation in ML 🐯☆10May 24, 2017Updated 8 years ago
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…☆16Feb 12, 2026Updated 2 months ago
- A simple 8086-CPU simulator using Verilog and Quartus II☆11Jul 9, 2018Updated 7 years ago
- Verifier for effectful, higher-order programs☆18Mar 10, 2026Updated last month
- Fake86 emulator redux☆12Jun 6, 2021Updated 4 years ago
- A SoC for DOOM☆20Apr 11, 2021Updated 5 years ago
- ☆12Nov 26, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The purpose of the repo is to support CORE-V Wally architectural verification☆18Nov 11, 2025Updated 5 months ago
- substitutes $variables in text. single binary, no dependencies. linux, osx, windows.☆14Feb 15, 2019Updated 7 years ago
- ARMv7 Single-Cycle processor implementation in Logisim☆13Sep 20, 2022Updated 3 years ago
- PCB files for the Adafruit Feather M0 Adalogger☆11Sep 23, 2025Updated 6 months ago
- Port of PicoDexed to the Raspberry Pi Pico 2 (RP2350, ARM Cortex-M33 cores)☆13Sep 3, 2024Updated last year
- A Python based 8085 assembler.☆13Feb 18, 2025Updated last year
- A GPU-accelerated cellular automata library using Vulkan☆11Sep 11, 2019Updated 6 years ago
- Porting of (JavaScript version of) corewars8086 from codeguru xtreme to RISC-V cpu☆15Mar 25, 2019Updated 7 years ago
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆12May 20, 2021Updated 4 years ago
- Standalone gdb-stub for RPi 2☆29Apr 8, 2016Updated 10 years ago
- Калькулятор на python / kivy☆12Oct 1, 2021Updated 4 years ago
- a bare metal example with a simple printf implementation for RPi Zero☆13Feb 4, 2021Updated 5 years ago
- 33B Chinese LLM, DPO QLORA, 100K context, AirLLM 70B inference with single 4GB GPU☆13May 5, 2024Updated last year
- iOS: Make keyboard show current case.☆22Nov 15, 2014Updated 11 years ago
- Arduino BSP for ESP8266 without WiFi support☆14Dec 26, 2022Updated 3 years ago
- Final Project for Digital Systems Design Course, Fall 2020☆17Jul 20, 2022Updated 3 years ago
- Pickle decompiler plugin for Radare2☆18Aug 6, 2023Updated 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.
- A Powerful Programable RPN Calculator based on FORTH (Arduino and 7 segment display)☆12Oct 2, 2020Updated 5 years ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 7 years ago
- Minimalistic RV32I RISC-V Processor in System Verilog☆26Sep 19, 2023Updated 2 years ago
- OnePlus 5/5T MSM8998 kernel source for halogenOS and TWRP☆12Jul 15, 2022Updated 3 years ago
- Retro UNIX v1 (8086 port/derivation of Original UNIX v1 for PDP-11) and Retro UNIX 386 v1.? OS project☆21Oct 18, 2024Updated last year
- Lab material for the three week course on builiding a RISC-V microprocessor☆20Jan 14, 2026Updated 3 months ago
- Arduino-based firmware for RepRap electonic☆20May 27, 2008Updated 17 years ago