RainMachine RESTful API (version 4)
☆10Dec 15, 2021Updated 4 years ago
Alternatives and similar repositories for rainmachine-api
Users that are interested in rainmachine-api are comparing it to the libraries listed below
Sorting:
- RESTful API documentation for De Lijn☆10Jul 4, 2015Updated 10 years ago
- A complete workflow for converting API Blueprint to hosted documentation on S3☆15Jan 15, 2020Updated 6 years ago
- Main RESTful API for ascribe ownership web service.☆20Nov 14, 2017Updated 8 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆30May 27, 2014Updated 11 years ago
- API documentation for Fakturoid☆63Jun 2, 2025Updated 9 months ago
- GUI toolkit for Ada using OpenGL☆15Jan 17, 2013Updated 13 years ago
- Ada For Microcontrollers (GPL)☆19Sep 24, 2015Updated 10 years ago
- The repo has been migrated to Bitbucket https://bitbucket.org/dtnse/weather-api/src/ and archived☆29Jan 23, 2020Updated 6 years ago
- [ARCHIVED] DEPRECATED — Apiary IPFS HTTP API description☆32Aug 23, 2017Updated 8 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 11 years ago
- OpenGL GUI toolkit library for Ada☆27Feb 15, 2013Updated 13 years ago
- API documentation for The Grid☆45May 31, 2017Updated 8 years ago
- mIRC Bot - Battle Arena☆20Jan 4, 2024Updated 2 years ago
- An implementation of Functional Reactive Programming☆41Mar 2, 2015Updated 11 years ago
- A library for .NET development with the VersionOne REST API.☆10Apr 14, 2023Updated 2 years ago
- Simulation of the matching algorithm that pairs medical school graduates and residency programs☆23May 26, 2021Updated 4 years ago
- The Spire Programming Language☆59Oct 23, 2014Updated 11 years ago
- Porting of software foundations book to Agda☆39Feb 16, 2014Updated 12 years ago
- PSO Explorer Helm Chart☆11Jun 6, 2024Updated last year
- PowerShell module that provides some functionality to facilitate automating backup actions of a FortiGate device over SSH. This module al…☆10Feb 10, 2021Updated 5 years ago
- Minimalistic boilerplate to quick-start API specification using API Blueprint description language.☆77Oct 25, 2021Updated 4 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 7 years ago
- Cryptographic Constructions in the Type Theory of Agda☆52Aug 8, 2015Updated 10 years ago
- Ada-bindings for 0mq☆42Nov 17, 2025Updated 3 months ago
- Natural Reader TTS support for kalliope project☆12Sep 26, 2017Updated 8 years ago
- This project is deprecated. See: README.md☆11Feb 16, 2017Updated 9 years ago
- ☆29Feb 20, 2026Updated last week
- Xtremio Cinder Driver☆10Jun 10, 2018Updated 7 years ago
- Simple example of usage of the Veracode API signing library provided on the Veracode Help Center☆10Nov 6, 2024Updated last year
- ☆11Oct 6, 2022Updated 3 years ago
- Dockerized EMC Solutions Enabler☆10Jul 7, 2018Updated 7 years ago
- Linux Developer Libraries☆12May 8, 2017Updated 8 years ago
- EMC ScaleIO Powershell Toolkit☆10Apr 13, 2016Updated 9 years ago
- Specifications for using and implementing Hex protocols☆48Aug 4, 2025Updated 6 months ago
- A Javascript library to convert number and monetary amount to written text in multiple languages. Also helpful for writing cheques (check…☆10Apr 29, 2025Updated 10 months ago
- ☆10Jan 19, 2023Updated 3 years ago
- Proof automation – for Agda, in Agda.☆45Sep 7, 2020Updated 5 years ago
- Libro "El camino a un mejor programador"☆19Mar 1, 2013Updated 13 years ago
- YANGinator☆17Aug 14, 2025Updated 6 months ago