TLA stands for the Temporal Logic of Actions, but it has become a shorthand for referring to the TLA+ specification language and the PlusCal algorithm language, together with their associated tools.
TLA+ is based on the idea that the best way to describe things formally is with simple mathematics, and that a specification language should contain as little as possible beyond what is needed to write simple mathematics precisely. TLA+ is especially well suited for writing high-level specifications of concurrent and distributed systems.

Prisma turns your database into a powerful GraphQL API which you can either use to build your own GraphQL server or connect to it directly from the frontend.

Dotmesh captures snapshots from stateful Docker and Kubernetes applications as ’datadots‘, and gives you the ability to label, store and share them as you would with version-controlled code. Dotmesh is an open–source primitive that can be accessed via CLI or API.

Easy to Maintain Open Source Documentation Websites

Searx is a free internet metasearch engine which aggregates results from more than 70 search services. Users are neither tracked nor profiled. Additionally, searx can be used over Tor for online anonymity.

GRV is a terminal based interface for viewing git repositories. It allows refs, commits and diffs to be viewed, searched and filtered. The behaviour and style can be customised through configuration. A query language can be used to filter refs and commit

Caire is a content aware image resize library

Otoroshi is a modern http reverse proxy with a thin layer of api management written in Scala and developped by the MAIF OSS team. Otoroshi is designed to handle all the calls to and between your microservices without service locator and let you change configuration dynamicaly at runtime.

Izanami is a shared configuration, feature flipping and A/B testing service perfectly well suited for micro services environment written in scala and developed by the MAIF OSS team.
Izanami provides a friendly UI for non-tech users as an HTTP REST API you can call using you favorite language.

Izanami also provides first class integration. Java, Scala, Node and React and CLI clients are available to integrate Izanami with your application.

Beehive is an event and agent system, which allows you to create your own agents that perform automated tasks triggered by events and filters. It is modular, flexible and really easy to extend for anyone. It has modules (we call them Hives), so it can interface with, talk to, or retrieve information from Twitter, Tumblr, Email, IRC, Jabber, RSS, Jenkins, Hue - to name just a few.

Kur is a system for quickly building and applying state-of-the-art deep learning models to new and exciting problems. Kur was designed to appeal to the entire machine learning community, from novices to veterans. It uses specification files that are simple to read and author, meaning that you can get started building sophisticated models without ever needing to code. Even so, Kur exposes a friendly and extensible API to support advanced deep learning architectures or workflows.

Uppy is a sleek, modular file uploader that integrates seamlessly with any application. It’s fast, easy to use and lets you worry about more important problems than building a file uploader.

Fetch files from local disk, Google Drive, Dropbox, Instagram, or snap and record selfies with a camera;
Preview and edit metadata with a nice interface;
Upload to the final destination, optionally process/encode

Program the 8086-like microprocessor of a robot in a grid-based multiplayer world. The game is web based so no installation is required.

Run containers through a simple, yet powerful graphical user interface.

The Container Structure Tests provide a powerful framework to validate the structure of a container image. These tests can be used to check the output of commands in an image, as well as verify metadata and contents of the filesystem.

Sourcegraph Server is a free, self-hosted code search server that integrates with your code host and supports multi-repository, regexp, and diff searches.

Chainer is a Python-based deep learning framework aiming at flexibility. It provides automatic differentiation APIs based on the define-by-run approach (a.k.a. dynamic computational graphs) as well as object-oriented high-level APIs to build and train neural networks. It also supports CUDA/cuDNN using CuPy for high performance training and inference.

Skeleton: A Dead Simple, Responsive CSS Boilerplate for Mobile-Friendly Development

Powerful Bootstrap theme builder for your next project

Conclave is a peer-to-peer, real-time, collaborative text editor built from scratch in JavaScript. Intrigued by collaborative text editors such as Google Docs, we set out to build our own. This case study walks you through our journey from the initial idea to our research of current academic literature and finally to our design and implementation of the final product.