IoT Macroprogramming Framework
☆15Jul 14, 2015Updated 11 years ago
Alternatives and similar repositories for pyot
Users that are interested in pyot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implicit monadic dataflow parallelism☆11Sep 26, 2019Updated 7 years ago
- Concise Haskell reference☆12Mar 22, 2018Updated 8 years ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆13Mar 29, 2021Updated 5 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆17Dec 10, 2019Updated 6 years ago
- Want to propose changes to Eta?☆14Apr 2, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Collection of WebAssembly research papers on security topics☆12Jun 21, 2024Updated 2 years ago
- Tools & patches to build nRF5 SDK with LLVM/Clang toolchain☆11Dec 17, 2019Updated 6 years ago
- An append only list in a compact region☆25Sep 6, 2018Updated 8 years ago
- Plug and Play Chat UI for iOS, written in Objective C.☆12Apr 11, 2016Updated 10 years ago
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆21Jun 3, 2026Updated 4 months ago
- Yet Another Software Language Repository☆19Updated this week
- Quasiquoter for LLVM☆32Apr 14, 2018Updated 8 years ago
- Embedded C code generation DSL for Haskell.☆29Mar 25, 2019Updated 7 years ago
- Extracted from vscode tree. See https://github.com/vscode-langservers/vscode-css-languageserver-bin for Binary version☆11Feb 6, 2021Updated 5 years 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.
- 中央氣象局氣象資料 GraphQL API Gateway☆15Oct 22, 2026Updated last week
- ☆11Dec 21, 2020Updated 5 years ago
- A DSL for creating 8-bit style music☆32Feb 5, 2024Updated 2 years ago
- 🐕 🐈 Classifier using Keras VGG16 transfer learning with kaggle dataset.☆14Oct 22, 2026Updated last week
- Resource-AWare Feldspar☆38May 27, 2022Updated 4 years ago
- Test your javascript skills!☆10Jun 9, 2018Updated 8 years ago
- ☆12Jun 19, 2017Updated 9 years ago
- Create a secure OAuth provider easily, powered by OAuthLib☆86Jul 9, 2013Updated 13 years ago
- ☆10Jun 16, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆11Mar 17, 2023Updated 3 years ago
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 6 years ago
- COSCUP Schedule App☆15Aug 4, 2017Updated 9 years ago
- NTUSC Statute powered by HTML5 and CSS3☆15Aug 28, 2023Updated 3 years ago
- Build cross platform desktop apps with JavaScript, HTML, and CSS☆10Mar 20, 2018Updated 8 years ago
- This is the central Git repo for Jacomax (Java Connector for Maxima), a basic Java interface for the Maxima computer algebra system.☆14Dec 20, 2021Updated 4 years ago
- A Java implementation of the famous Klondike solitaire game.It's available in English and French.☆10Dec 7, 2011Updated 14 years ago
- A demo for c6 chart library for node.js (based on Electron.js)☆16Jun 20, 2017Updated 9 years ago
- ☆23Jan 25, 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.
- YAML language service☆21Apr 5, 2018Updated 8 years ago
- Control theory in Haskell: Data structures, algorithms and adapters☆80Jan 14, 2019Updated 7 years ago
- A node wrapper for vtt.js.☆19Jun 19, 2024Updated 2 years ago
- A plugin that uploads images to imgur☆17Jul 16, 2026Updated 3 months ago
- Meme generator for Notion☆22Oct 18, 2021Updated 5 years ago
- Github Client built with React Apollo☆17Oct 7, 2026Updated 3 weeks ago
- It is a small C3 chart component.☆20Mar 17, 2026Updated 7 months ago