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
Sorting:
- ☆10Oct 1, 2020Updated 5 years ago
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- A Swift library for carefully refactoring critical paths.☆12Jan 13, 2022Updated 4 years ago
- MIT PhD Thesis template☆11May 22, 2025Updated 9 months ago
- IOT Meraki DevNet☆12Oct 30, 2020Updated 5 years ago
- C++ code and documentation for the MFlash PKDD'16 publication☆10Oct 25, 2016Updated 9 years ago
- Winforms app to convert Mapbox GL JSON styles to Mapzen YAML styles☆12Apr 30, 2019Updated 6 years ago
- CySat-1 Software and Applications for Onboard Firmware and Ground Station☆12May 25, 2024Updated last year
- Graphical user interface for tensor networks☆12Jul 27, 2020Updated 5 years ago
- ☆15Jan 28, 2025Updated last year
- lyo.designer☆16Feb 22, 2026Updated last week
- A simple MIPI CSI-2 extender with 4-lane support through HDMI cable☆13Mar 3, 2025Updated last year
- .NET Library for Enterprise Integration Pattern☆12Apr 16, 2023Updated 2 years ago
- This project provides various tools for processing content MathML with Java.☆13Feb 17, 2026Updated 2 weeks 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
- JavaScript Sequence Alignment Viewer☆11Mar 25, 2022Updated 3 years ago
- Alpha version of web-uploaded platform for desktop and mobile. http://fablabtaipei.github.io/FabDoc-alpha/☆10Feb 17, 2016Updated 10 years ago
- Simple IIO FM Radio receive example☆16Feb 23, 2026Updated last week
- VR JuggLua: A Framework for VR Applications Combining Lua, OpenSceneGraph, and VR Juggler☆12Sep 29, 2014Updated 11 years ago
- ZPU Core for Lattice ICE40HX8K☆12Apr 26, 2014Updated 11 years ago
- Provides an RPC interface to automate VSCode from other processes☆11May 29, 2021Updated 4 years ago
- TensorFlow plugin for Gen probabilistic programming system.☆10Apr 7, 2021Updated 4 years ago
- Simple and clear project management tool. With which it is possible to display one or more projects graphically.☆15Jan 13, 2025Updated last year
- Dockerfile for audiogrep and pocketsphinx☆12Oct 12, 2016Updated 9 years ago
- Low-level typesafe HDF5 bindings☆28Feb 22, 2013Updated 13 years ago
- Satisfy all your REST API testing needs.☆10Oct 17, 2022Updated 3 years ago
- paper on dexpilot☆15Oct 14, 2019Updated 6 years ago
- Commandline tools for the Opus audio codec☆13Jun 24, 2017Updated 8 years ago
- PlutoSDR BSP build system based on buildroot☆10Sep 19, 2017Updated 8 years ago
- Container to send ePubs to Remarkable Cloud via AWS SES, SQS, and S3.☆10May 23, 2025Updated 9 months ago
- The cartographic style transmogrifier☆11Dec 30, 2020Updated 5 years ago
- The (hopefully) easiest to use animation library for React for interactive applications.☆12Jan 7, 2023Updated 3 years ago
- An analysis of arXiv data, in terms of AI and Deep Learning research☆11Feb 19, 2021Updated 5 years ago
- Spore is a SIP client for android. With one click setup for free TLS/ZRTP calling on mycelial's truffle network.☆23Mar 7, 2013Updated 12 years ago
- A simple DBN compiler in Python☆11Oct 14, 2016Updated 9 years ago
- Semantic prefix map registry☆13Feb 20, 2026Updated last week
- ☆12Mar 28, 2019Updated 6 years ago
- 🐬 This plugin let's you embed the Highcharts Editor within Sanity.☆10Jan 22, 2024Updated 2 years ago
- An IPython Notebook reader for Pelican☆10May 13, 2015Updated 10 years ago