Stars
An open-source C++ library developed and used at Facebook.
Distributed platform for building autonomic network functions.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
System design interview for IT companies
swiftlang / llvm-project
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies. This fork is used to manage Swift’s stable releases of Clang as well as support the Swift project.
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
Keystone Enclave (QEMU + HiFive Unleashed)
Cloud-native high-performance edge/middle/service proxy
A Distributed Redis Protocol Compatible NoSQL Database
Secure & isolated JS environments for nodejs
The repository contains Google's robots.txt parser and matcher as a C++ library (compliant to C++11).
The Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
Golem is creating a global market for computing power.
A collection of postmortems. Sorry for the delay in merging PRs!
CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
🚀 Fast, secure, lightweight containers based on WebAssembly
The symbolic execution engine powering the K Framework