tencherry10
Follow
Stars
Use git on an untrusted server via a GPG-encrypted repository.
🎆Interactive Online Platform that Visualizes Algorithms from Code
Undercontrol.io – Open source Internet of Things IoT Platform with MQTT and Web-sockets for realtime support
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
A benchmark to compare synchronization techniques for multicore programming
27-Queens Puzzle: Massively Parellel Enumeration and Solution Counting
Class materials for a distributed systems lecture series
A framework for distributed systems verification, with fault injection
The previous version of Pyston, a faster implementation of the Python programming language. Please use this link for the new repository:
NoSQL data store using the seastar framework, compatible with Apache Cassandra
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…
S-expression source translation and macro expansion utility
TiDB - the open-source, cloud-native, distributed SQL database designed for modern applications.
C++ application development framework, to help developers create and deploy applications quickly and simply
Experimental, scalable, high performance HTTP server
Open source implementation of OPC UA (OPC Unified Architecture) aka IEC 62541 licensed under Mozilla Public License v2.0
Haywire is an asynchronous HTTP server framework written in C that's built using the event loop based libuv platform layer that node.js is built on top of.
Semantic syntax highlighting and hyperlinking of C/C++ source code with libclang. (Demo: https://oberon00.github.io/synth)
ZStack - the open-source IaaS software http://zstack.org (国内用户请至 http://zstack.io)
CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.