573 Open source projects that are alternatives of or similar to Disel

[Archived] A Fast Multi-tiered Distributed Storage System based on User-Level I/O

Tierion Hash API client library for Node.js

The Definitive Guide to Dark Mode and Bootstrap 4 - A proof of concept

Implementation of sprintf for Coq

A Hello World program in Coq.

Guide for setting up the Guardian Node for the mainnet

Prototype implementation of Lasp in Erlang.

A light weight distributed key-value database system with table concept.

Distributed Learning by Pair-Wise Averaging

Emofishes is a collection of proof of concepts that help improve, bypass or detect virtualized execution environments (focusing on the ones setup for malware analysis).

Keybase Filesystem (KBFS)

A reference use of Hashicorp's Raft implementation

Coq code accompanying several articles on semantics of functional programming languages

Industrial distributed SCADA and MRP library for web, desktop and mobile

An introductory tutorial for the Coq proof assistant.

The lightweight, distributed relational database built on SQLite

nact ⇒ node.js + actors ⇒ your services have never been so µ

CRAQ (Chain Replication with Apportioned Queries) in Go

A distributed system for embedding-based retrieval

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

my blog, using markdown

A general-purpose, distributed graph random walk engine.

Provably correct implementation of insertion sort in Idris.

add-on to Akka Typed that tracks effects for use with Session Types

Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors

Simple to use but full configurable p2p framework

Clojure host/server for Tendermint's ABCI protocol.

List of Elixir books

JavaScript Digital Organisms simulator

A Coq-based synthesis of Scala programs which are correct-by-construction

Inter-Service communication framework, support for microservice architecture and distributed system

Porn browser formally-verified in Coq

A Coq library for extensional finite sets and comprehension

Formalising Type Theory in a modular way for translations between type theories

Coq proofs of exercises in Pierce's book

A Certified Interpreter for ML with Structural Polymorphism

Py4J enables Python programs to dynamically access arbitrary Java objects

Collapsing Towers of Interpreters

Distributed realtime messaging framework based on workerman.

Total Parser Combinators in Coq

LizardFS is an Open Source Distributed File System licensed under GPLv3.

已作为 Hasor 的子项目，迁移到：http://git.oschina.net/zycgit/hasor

🔬 Writing reliable & fault-tolerant microservices in Node.js https://hemerajs.github.io/hemera/

Orleans is a cross-platform framework for building distributed applications with .NET

A curated list to learn about distributed systems

MIT 6.824 2018 lab. MIT6.824分布式系统（2018秋）

This guide should help fellow researchers and hobbyists to easily automate and accelerate there deep leaning training with their own Kubernetes GPU cluster.

Coq plugin for parametricity [[email protected]]

GNES is Generic Neural Elastic Search, a cloud-native semantic search system based on deep neural network.

高性能golang网络库，游戏开发脚手架

Elastic sidechains

Implementation of Nuprl's type theory in Coq

An open source serverless computing platform

open source training courses about distributed database and distributed systemes

📚 深入浅出分布式基础架构，Linux 与操作系统篇 | 分布式系统篇 | 分布式计算篇 | 数据库篇 | 网络篇 | 虚拟化与编排篇 | 大数据与云计算篇

Bidirectional programming in Haskell with monadic profunctors

An easy way to deploy your Akka services to a distributed environment.