We are aiming to identify|provoke|create viable processes|methods|tools for secure|high-integrity|safety-critical|deterministic software engineering

Nodefony is Node.js full-stack web framework.

Trax is a lightweight inventory tracking application built using C#

The lightest feature-rich C++98/C++11 single-header testing framework for unit tests and TDD

Open source, extensible and Docker-based Platform as a Service (PaaS).

Open Source LDAP Virtual Directory

Class to store and access data in a case-insensitive fashion, while maintaining the integrity and functionality of a regular array.

Unified Identity Management

Easy-to-Use C++ Computer Vision Library.

Java binding to the Networking and Cryptography (NaCl) library with the awesomeness of libsodium

A custom reusable circular slider control for iOS application.

Java command-line utility for batch URL checking for Heartbleed vulnerability

FORKED: Key Server that implements the TLS Session Key Interface (SKI) defined in draft-cairns-tls-session-key-interface-01.

mRemoteNG is the next generation of mRemote, open source, tabbed, multi-protocol, remote connections manager.

Crypto and TLS library for C++

This project is a Puppet module to setup a corosync/pacemaker stack in an automated way.

ubjsc is a C library for manipulating data in UBJSON format.

This is a SaltyRTC v1 implementation for Java 7+.

This is a SaltyRTC v1 implementation for JavaScript (ES5) written in TypeScript 2.0+.

collaboration with distinct differentiation

SOTA is a complete suite for uploading, managing, queueing, transmitting, validating, and deploying software updates remotely to a fleet of vehicles. It...