ahorn

android-rss

Lightweight Android library to parse RSS 2.0 feeds.

cpp-channel

Experimental Go-style concurrency for C++11

linearizability-checker

Fast linearizability checker

smt-kit

C++11 library for many-sorted logics

xv6

A simple Unix-like teaching operating system developed by MIT

native-symbolic-execution-clang

Source-to-source transformation to call native symbolic execution library and SMT Kit

benchmarks

A hub for sharing ideas on planning, executing and evaluating benchmarks.

spanning-tree-factorization

Algorithm for cyclic factorization of complete graphs into spanning trees with an Euler trail

bf-interpreter

BF virtual machine written in C

plan9

UC Berkeley release of Plan 9 under the GPLv2

sup-smt-plugin

SMT plugin to find the supremum of a multiset

book

A textbook on informal homotopy type theory

database-stream-processing-theory

Formalization of DBSP

hv6

jepsen

Call Me Maybe: simulating network partitions in DBs

klee

KLEE Symbolic Virtual Machine

lilos

A wee async RTOS for Cortex-M

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

MpiDepAnalysis

LLVM analysis to find control dependencies on MPI calls

mycelium

🍄 an alleged 'operating system'

nopticon

like a panopticon but for networks

octox

Unix-like OS in Rust inspired by xv6-riscv

pbrt-v4

Source code to pbrt, the ray tracer described in the forthcoming 4th edition of the "Physically Based Rendering: From Theory to Implementation" book.

SSD-pytorch

SSD: Single Shot MultiBox Detector pytorch implementation focusing on simplicity

tock

A secure embedded operating system for microcontrollers

wabt

The WebAssembly Binary Toolkit

xv6-riscv

Xv6 for RISC-V

xv6-riscv-book

Text describing xv6 on RISC-V

z3

The Z3 Theorem Prover

z3test

Test and benchmark repository for Z3.