Stars
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Provides utility functions to perform a graceful shutdown on tokio-rs based services
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
A model checker for implementing distributed systems.
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…
Fireworq is a lightweight, high-performance, language-independent job queue system.
Tool for visualizing GitHub profiles
A Go/Golang library to help construct a graphql-go server supporting react-relay.
Create a GraphQL HTTP server with Express.
The DB that's replicated, sharded and transactional.
SeaweedFS is a distributed storage system for object storage (S3), file systems, and Iceberg tables, designed to handle billions of files with O(1) disk access and effortless horizontal scaling.
A NodeJS library to keep an eye on your memory usage, and discover and isolate leaks.
Generate JavaScript classes/code from JSON Schema
Parse and build stories out of the Playlyfe Events.
The official OAuth 2.0 Ruby SDK for the Playlyfe REST API
The official OAuth 2.0 C# SDK for the Playlyfe REST API
The official OAuth 2.0 NodeJS SDK for the Playlyfe REST API
The official OAuth 2.0 Python SDK for the Playlyfe REST API
Symfony2 OAuth2 client reference implementation
Light PHP wrapper for the OAuth 2.0 protocol (based on OAuth 2.0 Authorization Protocol draft-ietf-oauth-v2-15)
pocesar / node-jsonrpc2
Forked from fuson/node-jsonrpc2JSON-RPC 2.0 server and client library, with HTTP (with Websocket support) and TCP endpoints
A streaming gearman client / worker / server (as you choose)
Node.js library for the Gearman distributed job system with support for multiple servers
Swarm Classic: a container clustering system. Not to be confused with Docker Swarm which is at https://github.com/docker/swarmkit
A demonstration of a Website using the Playlyfe platform to engage its users