Kubernetes-like control planes for form-factors
A Swift and Kotlin library for making composable state machines
Pure Java annotation, single class file, rapid development
Client library for using AWS IoT Shadow service on embedded devices
Advanced Query Language
Non-official Python library for works with API service Index
A real time inference engine for temporal logical specifications
Avocado Polish programming language
Rapid form development library for Angular
A Neovim configuration for the advanced martian hacker
Free SLOC counts physical lines of code (SLOC) for many languages
Develop more, Code less. Propeller is a front-end responsive framework
Proof Logic : A logical framework for theorem proving
List of practical projects that anyone can solve in any prog language
A logic programming tool and a logical database with a RESTful API
ER Databese Model
A curated list for awesome kubernetes sources
C++ CASE tool, full life cycle code generator
A benchmark of commonly used open source implementations
Element UI
High performance JavaScript templating engine
Vim plugin that provides additional text objects
DC/OS - The Datacenter Operating System