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:
- Simple and clean exception handling in C☆11May 10, 2026Updated 2 months ago
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 10 years ago
- ☆21Oct 2, 2016Updated 9 years ago
- An microkernel focusing on hyperadaptability, hyperreusability, and hyperdeployability.☆93Jun 9, 2025Updated last year
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆19Jan 13, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Metal Slug en C y SDL 2.0☆10Updated this week
- Commandline tools for the Opus audio codec☆13Jun 24, 2017Updated 9 years ago
- ☆29Nov 14, 2024Updated last year
- ELF library dependency viewer☆55May 16, 2018Updated 8 years ago
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- An HTML documentation generator for Coq source files☆31Jun 15, 2026Updated last month
- OCaml syntax extension for synchronous programming...☆33Aug 17, 2023Updated 2 years ago
- Small yet powerful state machine coroutine library☆38May 27, 2024Updated 2 years ago
- This project provides various tools for processing content MathML with Java.☆13Feb 17, 2026Updated 5 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Wind River Linux Setup -- Distribution Build Project Assembler☆12Oct 2, 2019Updated 6 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆59Jul 20, 2025Updated last year
- Easily add borders, bevels, matted wall frames, shadow boxes, text or graphic logos to your photographs with drag-n-drop☆17Dec 31, 2024Updated last year
- Catamount is a compute graph analysis tool to load, construct, and modify deep learning models and to symbolically analyze their compute …☆14May 18, 2021Updated 5 years ago
- Library for managing Mender artifact files☆41Updated this week
- The cartographic style transmogrifier☆11Dec 30, 2020Updated 5 years ago
- Embedded development infrastructure.☆49Apr 17, 2026Updated 3 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆126Updated this week
- PlutoSDR BSP build system based on buildroot☆10Sep 19, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- PlutoSDR Firmware☆11Apr 26, 2018Updated 8 years ago
- AD9363 + XC6SLX9 board☆12Apr 23, 2019Updated 7 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆109Updated this week
- Code from the book "How to create pragmatic, lightweight languages"☆17Nov 9, 2017Updated 8 years ago
- Simple and clear project management tool. With which it is possible to display one or more projects graphically.☆15May 30, 2026Updated last month
- Tracking balloon, graphing the path, and analyzing the data of Vaisala RS radiosonde☆13Mar 11, 2018Updated 8 years ago
- jstree plugin that allows adding actions on each node☆12Mar 6, 2019Updated 7 years ago
- A demo of zoom-dependent road styling☆21Dec 24, 2019Updated 6 years ago
- A simple MIPI CSI-2 extender with 4-lane support through HDMI cable☆13Mar 3, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆14Mar 5, 2023Updated 3 years ago
- Provides a framework and tools for developing, downloading, and integrating core Flight System (cFS) applications into an operational sys…☆58Updated this week
- Context manager to maintain your temporary directories/files.☆17Jan 23, 2023Updated 3 years ago
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆18Apr 30, 2016Updated 10 years ago
- 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
- CySat-1 Software and Applications for Onboard Firmware and Ground Station☆14May 25, 2024Updated 2 years ago