KTH's Timed C compiler
☆19Jan 7, 2022Updated 4 years ago
Alternatives and similar repositories for ktc
Users that are interested in ktc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🤓 Build your own <insert technology here>☆17May 22, 2018Updated 8 years ago
- 嵌入式C，软件定时器、线程软狗机制等系统组件集合☆14Nov 2, 2017Updated 8 years ago
- A VHDL helper that visualizes FSM states and transitions by tracking, in real-time, a specified .vhd file☆15Nov 26, 2018Updated 7 years ago
- Unofficial port of TNKernel RTOS for RX mcu☆14Jan 20, 2013Updated 13 years ago
- TLV protocol on STM32 via UART☆12Jul 25, 2016Updated 10 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.
- A tiny real-time kernel focusing on formal reliability and simplicity.☆173Jun 8, 2025Updated last year
- A prototype GUI for chisel-development☆51Jun 9, 2020Updated 6 years ago
- Small yet powerful state machine coroutine library☆38May 27, 2024Updated 2 years ago
- A lightweight reactor runtime targeted at distributed resource-constrained embedded systems☆19Updated this week
- Arduino Library for driving stepper motors☆20Aug 17, 2018Updated 8 years ago
- The F´ MathComponent Tutorial☆20Aug 27, 2026Updated last week
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆157Jul 25, 2026Updated last month
- The cartographic style transmogrifier☆11Dec 30, 2020Updated 5 years ago
- VR JuggLua: A Framework for VR Applications Combining Lua, OpenSceneGraph, and VR Juggler☆12Sep 29, 2014Updated 11 years 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.
- ☆20Aug 1, 2024Updated 2 years ago
- ☆21Jan 18, 2023Updated 3 years ago
- PlutoSDR Firmware☆11Apr 26, 2018Updated 8 years ago
- AD9363 + XC6SLX9 board☆12Apr 23, 2019Updated 7 years ago
- Tracking balloon, graphing the path, and analyzing the data of Vaisala RS radiosonde☆13Mar 11, 2018Updated 8 years ago
- A simple MIPI CSI-2 extender with 4-lane support through HDMI cable☆13Mar 3, 2025Updated last year
- ☆14Mar 5, 2023Updated 3 years ago
- Generalized API for browser-based generative art projects, plug & play support for platform specifics, parameter declarations, GUI creati…☆43Jul 22, 2026Updated last month
- Google Maps Lists GPX Exporter Firefox☆11Sep 19, 2024Updated last year
- 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.
- This is a tool for the LOTTERY with Facebook☆10Jul 11, 2017Updated 9 years ago
- Libraries and tools for the SMT-LIB-2 standard.☆24Dec 13, 2021Updated 4 years ago
- Software and hardware to create a cheap DIY spherical projection system☆15Sep 3, 2018Updated 8 years ago
- functionality on top of an RDF store while accounting for and exploiting the fundamental differences between graph storage and relation…☆12Aug 19, 2026Updated 2 weeks ago
- ANTLR SMT-LIB v2 Grammar☆24Dec 23, 2021Updated 4 years ago
- A GPU-based planet renderer from scratch☆12Mar 5, 2016Updated 10 years ago
- A virtual reality fly through of a 3D landscape, built with Three.js and Cinema 4D.☆11Aug 6, 2015Updated 11 years ago
- Simple IIO FM Radio receive example☆16Updated this week
- .NET Library for Enterprise Integration Pattern☆13Apr 16, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Translate any RDF format to any other using Ruby RDF gems☆21Dec 20, 2025Updated 8 months ago
- Alpha version of web-uploaded platform for desktop and mobile. http://fablabtaipei.github.io/FabDoc-alpha/☆10Feb 17, 2016Updated 10 years ago
- Attitude Determination System for SFU Satellite Design Team☆16Aug 29, 2017Updated 9 years ago
- WebGL Renderer for quick shader based toys☆13Nov 24, 2015Updated 10 years ago
- .NET 8.0 C# Console app with local host API that hosts the Microsoft Phi-3 mini model locally.☆12Apr 30, 2024Updated 2 years ago
- Out-of-tree version of Linux' kconfig tool☆20Jun 13, 2024Updated 2 years ago
- Draw layers with arrows to your leaflet map☆13Nov 28, 2018Updated 7 years ago