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 VHDL helper that visualizes FSM states and transitions by tracking, in real-time, a specified .vhd file☆15Nov 26, 2018Updated 7 years ago
- A library of tools for compiler construction.☆13May 18, 2016Updated 10 years ago
- TensorFlow plugin for Gen probabilistic programming system.☆10Apr 7, 2021Updated 5 years ago
- This project provides various tools for processing content MathML with Java.☆14Feb 17, 2026Updated 7 months ago
- The socket.io layer of Overleaf for real-time editor interactions☆17Aug 6, 2021Updated 5 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.
- Wind River Linux Setup -- Distribution Build Project Assembler☆12Oct 2, 2019Updated 6 years ago
- Fork of ffmpeg (git://source.ffmpeg.org/ffmpeg.git). Required to compile avrecode lossless video compression (https://github.com/dropbox/…☆19May 22, 2016Updated 10 years ago
- Graphical user interface for tensor networks☆13Jul 27, 2020Updated 6 years ago
- Python bindings for pmemkv☆13Mar 22, 2023Updated 3 years ago
- A streaming cross-cat inference engine☆20Mar 27, 2024Updated 2 years ago
- PlutoSDR BSP build system based on buildroot☆11Sep 19, 2017Updated 9 years ago
- ☆10May 21, 2021Updated 5 years ago
- AD9363 + XC6SLX9 board☆12Apr 23, 2019Updated 7 years ago
- Code from the book "How to create pragmatic, lightweight languages"☆17Nov 9, 2017Updated 8 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.
- Simple and clear project management tool. With which it is possible to display one or more projects graphically.☆15May 30, 2026Updated 3 months ago
- 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
- Copy top-level annotations from one URL (and/or group) to another☆14Apr 29, 2021Updated 5 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
- Semantic prefix map registry☆14Jul 2, 2026Updated 2 months ago
- Paper: "Predicting Subjective Features from Questions on QA Websites using BERT"☆14May 22, 2022Updated 4 years ago
- CySat-1 Software and Applications for Onboard Firmware and Ground Station☆14May 25, 2024Updated 2 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.
- IOT Meraki DevNet☆12Oct 30, 2020Updated 5 years ago
- ZPU Core for Lattice ICE40HX8K☆12Apr 26, 2014Updated 12 years ago
- Software and hardware to create a cheap DIY spherical projection system☆15Sep 3, 2018Updated 8 years ago
- A platform-agnostic, configurable, and brandable SPARQL editor and visualization interface.☆15Nov 6, 2025Updated 10 months ago
- [Officially Supported] Helix Authentication Service☆17Sep 9, 2026Updated 2 weeks ago
- Pacman-like Package Manager for Cygwin (Fork of apt-cyg)☆13May 22, 2019Updated 7 years ago
- The Convergence Admin Console☆15Mar 7, 2023Updated 3 years ago
- A GPU-based planet renderer from scratch☆12Mar 5, 2016Updated 10 years ago
- Forcing layer on top of Coq☆16Aug 20, 2012Updated 14 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆10Oct 1, 2020Updated 5 years ago
- Read a seven-segment display using OpenCV and the Raspberry Pi Camera☆12Jun 28, 2016Updated 10 years ago
- ☆15Jul 11, 2019Updated 7 years ago
- Translate any RDF format to any other using Ruby RDF gems☆21Dec 20, 2025Updated 9 months ago
- An API for applying incoming updates to documents in real-time☆16Aug 6, 2021Updated 5 years ago
- Release of PocketSDR NEO* edition schematics, PCB, and BOM in KICAD 7.0 format.☆13Jun 14, 2024Updated 2 years ago
- Alpha version of web-uploaded platform for desktop and mobile. http://fablabtaipei.github.io/FabDoc-alpha/☆10Feb 17, 2016Updated 10 years ago