Linux namespaces and seccomp-bpf sandbox

the first library to let you embed a developer agent in your own app!

A pass extension for importing data from most existing password managers

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

The SHA-256 Project, developed for NYU Tandon's Applied Cryptography course

A model checker for implementing distributed systems.

Creusot helps you prove your code is correct in an automated fashion.

super simple in-memory blocking LSM for constant-size keys and values

Hammerspoon config inspired by Spacemacs

whiteboard / infinite canvas SDK

List of bugs found in distributed protocols

A modern Prolog implementation written mostly in Rust.

Spotify Web API SDK implemented on Rust

Mold: A Modern Linker 🦠

A Clojure model checker (using the TLA+/TLC engine)

Distributed Systems Labs and Framework

Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions

A set of alternative `derive` attributes for Rust

A Component System in Rust

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

A course to build distributed key-value service based on TiKV model

An implementation of Org mode without the dependency of Emacs - built for mobile and desktop browsers

Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in securi…

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Evelyn Paxos

A list of papers about distributed consensus.

A Rust library for parsing org-mode files.