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:
- A lightweight Ethernet MAC Controller IP for FPGA prototyping☆14Oct 19, 2020Updated 5 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
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 10 years ago
- Gate-Level Simulation on a GPU☆10Nov 22, 2016Updated 9 years ago
- OCaml syntax extension for synchronous programming...☆32Aug 17, 2023Updated 2 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.
- Attempt to make a python based Operating System, it means that we use language feature to provide security instead of using hardware as i…☆10Jul 22, 2016Updated 9 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 3 years ago
- ☆21Oct 2, 2016Updated 9 years ago
- Verified, Incremental, Binary Editing with Synthesis☆55Mar 7, 2023Updated 3 years ago
- Winforms app to convert Mapbox GL JSON styles to Mapzen YAML styles☆12Apr 30, 2019Updated 6 years ago
- Small yet powerful state machine coroutine library☆38May 27, 2024Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆55Jul 20, 2025Updated 8 months ago
- The cartographic style transmogrifier☆11Dec 30, 2020Updated 5 years ago
- Graphical user interface for tensor networks☆12Jul 27, 2020Updated 5 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.
- Simple IIO FM Radio receive example☆16Apr 6, 2026Updated last week
- Low-level typesafe HDF5 bindings☆28Feb 22, 2013Updated 13 years ago
- ☆19Nov 12, 2020Updated 5 years ago
- PlutoSDR BSP build system based on buildroot☆10Sep 19, 2017Updated 8 years ago
- Copy top-level annotations from one URL (and/or group) to another☆14Apr 29, 2021Updated 4 years ago
- jstree plugin that allows adding actions on each node☆12Mar 6, 2019Updated 7 years ago
- ☆14Mar 5, 2023Updated 3 years ago
- A simple MIPI CSI-2 extender with 4-lane support through HDMI cable☆13Mar 3, 2025Updated last year
- A demo of zoom-dependent road styling☆21Dec 24, 2019Updated 6 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.
- Tracking balloon, graphing the path, and analyzing the data of Vaisala RS radiosonde☆13Mar 11, 2018Updated 8 years ago
- This is a tool for the LOTTERY with Facebook☆10Jul 11, 2017Updated 8 years ago
- ☆10Oct 1, 2020Updated 5 years ago
- functionality on top of an RDF store while accounting for and exploiting the fundamental differences between graph storage and relation…☆12Feb 21, 2024Updated 2 years ago
- Google Maps Lists GPX Exporter Firefox☆11Sep 19, 2024Updated last year
- CySat-1 Software and Applications for Onboard Firmware and Ground Station☆12May 25, 2024Updated last year
- Software and hardware to create a cheap DIY spherical projection system☆15Sep 3, 2018Updated 7 years ago
- ZPU Core for Lattice ICE40HX8K☆12Apr 26, 2014Updated 11 years ago
- A GPU-based planet renderer from scratch☆12Mar 5, 2016Updated 10 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.
- JFact repository☆18Apr 17, 2022Updated 3 years ago
- Pacman-like Package Manager for Cygwin (Fork of apt-cyg)☆12May 22, 2019Updated 6 years ago
- Rename Hypothesis tags☆15Mar 2, 2020Updated 6 years ago
- A virtual reality fly through of a 3D landscape, built with Three.js and Cinema 4D.☆11Aug 6, 2015Updated 10 years ago
- SPI master driver with DMA support for the Raspberry Pi☆16Mar 26, 2015Updated 11 years ago
- VR JuggLua: A Framework for VR Applications Combining Lua, OpenSceneGraph, and VR Juggler☆12Sep 29, 2014Updated 11 years ago
- PlutoSDR Firmware☆11Apr 26, 2018Updated 7 years ago