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

A framework for formally verifying distributed systems implementations in Coq

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Intermediate Memory Model (IMM) and compilation correctness proofs for it

Coq formalizations of functional languages.

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

Proof of concept to generate safe and fast JavaScript

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

Formalisation of the linear lambda calculus in Coq

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

My Distributed Systems references

[Deprecated, use nkn-sdk-js instead] JavaScript implementation of NKN client

A distributed workflow runner focusing on performance and simplicity.

A Multi-Master Distributed Caching Layer for Amazon S3.

Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin

Decentralized trust ratings using signed claims

A Verified Compiler for Gallina, Written in Gallina

Formal specification and verification of hardware, especially for security and privacy.

A fault tolerant, protocol-agnostic RPC system

The Penn Locally Nameless Metatheory Library

The distributed object storage server used by PitchPoint Solutions to securely store billions of large and small files using minimal resources. Object data is stored in replicated volumes implemented like Facebooks Haystack Object Store. Object metadata which essentially maps an object name to a volume position is stored in an elasticsearch index.

Curated list of resources on testing distributed systems

SoftwareFoundations(Ja)

Distributed Blockchain-based File Storage 📡

A blog about Coq

RISC-V Specification in Coq

A framework for implementing and certifying impure computations in Coq

Assassin is a decentralized database that uses background threads to kill slow JavaScript.

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

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

Guide for setting up the Guardian Node for the mainnet

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

Distributed Learning by Pair-Wise Averaging

Keybase Filesystem (KBFS)

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

The lightweight, distributed relational database built on SQLite

CRAQ (Chain Replication with Apportioned Queries) in Go

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

A general-purpose, distributed graph random walk engine.

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

Simple to use but full configurable p2p framework

List of Elixir books

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

Porn browser formally-verified in Coq

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

Collapsing Towers of Interpreters

A Certified Interpreter for ML with Structural Polymorphism

A powerful caching library for Elixir with support for transactions, fallbacks and expirations

Total Parser Combinators in Coq

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

A curated list of research in machine learning system. I also summarize some papers if I think they are really interesting.

A compiler plug-in to control object lifetimes in Scala

The CompCert formally-verified C compiler

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

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

My opinionated list of products and tools used for high-scalability projects

Coq plugin for parametricity [[email protected]]

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

Elastic sidechains