POSIX based FreeRTOS emulator with SDL2 graphics interface and multiple async communications interfaces, aiming to make it possible to teach FreeRTOS without embedded hardware using similar processes
☆68Sep 9, 2024Updated 2 years ago
Alternatives and similar repositories for FreeRTOS-Emulator
Users that are interested in FreeRTOS-Emulator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OCaml Serial Module☆11Oct 5, 2024Updated 2 years ago
- Constrained Application Protocol (RFC 7252) implementation for OCaml.☆12Apr 3, 2024Updated 2 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 5 years ago
- Small PPX for fixed size integer literals☆10Nov 12, 2022Updated 3 years ago
- A simple cache system for mmap in OCaml☆14Jan 21, 2026Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Tutorial how to build and simulate electromagnetic structures using FreeCAD and OpenEMS.☆12Nov 26, 2023Updated 2 years ago
- template cmake project for the bluepill (a stm32f1 micro board)☆21Apr 13, 2021Updated 5 years ago
- converts ValueChangeDump-Files (vcd) to tikz-timing-diagrams☆17Nov 19, 2021Updated 4 years ago
- 🐫🎮 OCaml Game Engine☆45Mar 20, 2025Updated last year
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆11Oct 19, 2026Updated last week
- A CHIP8 emulator written in OCaml☆26Mar 4, 2022Updated 4 years ago
- Documents related to the Code of Conduct☆19Apr 18, 2025Updated last year
- Lwt to Eio tutorial☆19Mar 20, 2025Updated last year
- NES emulator in OCaml☆43Apr 30, 2026Updated 6 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- eAFH: channel management for Bluetooth Low Energy specifically tailored for mobile and dynamic scenarios.☆13Jun 10, 2022Updated 4 years ago
- mirror: https://git.kernel.org/cgit/linux/kernel/git/devicetree/devicetree-rebasing.git/☆11Jan 28, 2020Updated 6 years ago
- Additions to FreeRTOS☆488Jul 9, 2024Updated 2 years ago
- A unikernel as an IRC client☆26Sep 13, 2023Updated 3 years ago
- Dynamic tuning for the OCaml garbage collector☆23Apr 24, 2025Updated last year
- The caml walks, OCaml runs☆22Oct 11, 2023Updated 3 years ago
- Example of interactive HTML slides using the decker tool☆10Jun 26, 2026Updated 4 months ago
- Sample code for support of PowerPC development with GCC and NXP evaluation board DEVKIT-MPC5748G☆12Jan 22, 2026Updated 9 months ago
- ngspicejs script that finds new LC oscillator topologies☆16Jul 17, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- adi_tmcl (previously tmcl_ros) is the official ROS Driver for ADI Trinamic Motor Controllers (TMC) that uses Trinamic Motion Control Lang…☆13Mar 27, 2025Updated last year
- Minimal setup required to develop firmware for STM32 using ceedling☆22Apr 8, 2023Updated 3 years ago
- ☆24Aug 19, 2026Updated 2 months ago
- OCaml bindings for the PKCS#11 cryptographic API☆23Feb 11, 2023Updated 3 years ago
- A customized copy of OpenOCD able to access the jtagd/jtagserver distributed with Quartus. At present it is restricted to accessing the A…☆12Aug 18, 2025Updated last year
- Experimental parallel and concurrent OCaml☆15Jan 28, 2023Updated 3 years ago
- Arduino Communication through Serial☆14Oct 11, 2023Updated 3 years ago
- Refinement types encoded with private types in OCaml.☆11Oct 18, 2020Updated 6 years ago
- Tiny Tapeout IHP 26a shuttle using the open source ihp-sg13g2 PDK☆12Apr 1, 2026Updated 6 months 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.
- A tool of generate A2l file with python☆13Apr 14, 2020Updated 6 years ago
- Bindings to the `cuda` and `nvrtc` libraries with a unified interface☆26Sep 23, 2026Updated last month
- A verified(?) TCP client/server chat application☆23Sep 29, 2025Updated last year
- A curated list of awesome warez and piracy links☆16May 1, 2019Updated 7 years ago
- Process behavior monitoring utility and library based on strace☆28May 9, 2023Updated 3 years ago
- Remake of Railroad Tycoon in OCaml☆25Oct 11, 2026Updated 2 weeks ago
- Implementation of kitty's terminal graphics protocol☆14Apr 27, 2024Updated 2 years ago