AaltoAsia / O-MIView external linksLinks
Internet of Things data server implementing Open Messaging Interface and Open Data Format
☆22Feb 28, 2023Updated 2 years ago
Alternatives and similar repositories for O-MI
Users that are interested in O-MI are comparing it to the libraries listed below
Sorting:
- OWASP Threat Dragon core files☆11Jan 26, 2026Updated 3 weeks ago
- Create temporary login session for AWS CLI☆11Nov 6, 2019Updated 6 years ago
- Zstandard for Ada - Fast real-time compression algorithm☆16Feb 3, 2023Updated 3 years ago
- How can you track the hunting techniques you come up with?☆13Sep 3, 2017Updated 8 years ago
- Ada Unit Testing Library☆10Aug 3, 2025Updated 6 months ago
- ☆12Jul 7, 2022Updated 3 years ago
- A terraform module providing an opinionated Consul cluster built on an ECS cluster in AWS.☆15Mar 12, 2020Updated 5 years ago
- Spring Cloud Config Client with Fallback implementation for cases when the the config server is down☆11Mar 21, 2016Updated 9 years ago
- Contributor License Agreement of the Jenkins project☆11Nov 17, 2025Updated 2 months ago
- ☆18Feb 14, 2025Updated last year
- TurnKey buildtasks☆13Feb 12, 2025Updated last year
- Kevoree Modeling Framework Tutorial☆10Mar 18, 2016Updated 9 years ago
- Garbage collection for Ada☆12Jan 15, 2023Updated 3 years ago
- A Code Generator for ABNF Parsers☆13Feb 25, 2023Updated 2 years ago
- Ash is an Ada Simple HTTP Server☆12Sep 11, 2021Updated 4 years ago
- Beyond Compare context menu plug-ins for Linux file managers☆13Nov 6, 2024Updated last year
- ☆17Jun 24, 2024Updated last year
- Java implementation of the FE1 Format Preserving Encryption algorithm.☆15Apr 11, 2017Updated 8 years ago
- A cryptographic framework, proven for correctness in SPARK☆15Dec 16, 2024Updated last year
- A component to aid in writing shell-like applications in Ada.☆16Nov 4, 2025Updated 3 months ago
- GetYourGuide Partner API OpenAPI Specifications☆19Feb 1, 2026Updated 2 weeks ago
- A group of more formulated Terraform modules☆13Aug 1, 2017Updated 8 years ago
- Using osquery for Mass Incident Detection & Response☆19Jun 25, 2016Updated 9 years ago
- The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted …☆22Aug 19, 2022Updated 3 years ago
- Contributor License Agreement Bot for Validating GitHub Pull Requests☆20Jan 13, 2026Updated last month
- A REST api demo project that generates sequence diagrams from tests☆15Jun 13, 2019Updated 6 years ago
- NBAda - An Ada library of lock-free data structures and algorithms.☆13May 16, 2015Updated 10 years ago
- ☆15May 8, 2017Updated 8 years ago
- Worldpay .net Library☆20Mar 18, 2023Updated 2 years ago
- A secure timestamp client/server☆23May 16, 2022Updated 3 years ago
- ☆23Sep 12, 2025Updated 5 months ago
- A simple HTTP and Websocket library with minimal external dependencies.☆18Sep 10, 2017Updated 8 years ago
- ☆11Feb 4, 2026Updated last week
- JSON/JWK/JWS/JWT/Base64 library in SPARK☆19Oct 12, 2020Updated 5 years ago
- SPARK Proof Analysis Tool☆17Oct 19, 2020Updated 5 years ago
- The Core Flight System (cFS) Stored Command Absolute (SCA) application.☆20Mar 4, 2019Updated 6 years ago
- Sample application demonstrating the Gemalto Luna Java Security Provider framework for the Java Buildpack☆18May 31, 2017Updated 8 years ago
- Extension that allows you to import/export users from your Auth0 account☆20Updated this week
- An Ada Library for UUID generation.☆16Dec 8, 2021Updated 4 years ago