ismailkuru

osdi23-paper114-ae

Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".

re2

RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.

d2

D2 is a modern diagram scripting language that turns text to diagrams.

coq-tla

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

kani

Kani Rust Verifier

isoalloc

A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good performance

verus

Verified Rust for low-level systems code

plugin-tutorial

Yet another plugin tutorial, this time as an exercise for 598

pumpkin-pi

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

seplogic-demo

Demos for lecture on Separation Logic by O'Hearn from CACM 2019.

gopher-os

A proof of concept OS kernel written in Go

models-of-interaction

Catalogue of models of interaction. Part of the trilogy on models of computers/interaction/computation

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

ltac2-tutorial

Ltac2 tutorial

snmalloc-rs

rust bindings of snmalloc

boltfs

A Go package that implements a filesystem interface for boltdb.

go-cache

In process cache (LRU, ...) package for Go

dattobd

kernel module for taking block-level snapshots and incremental backups of Linux block devices

jdfs

Just Data FileSystem

gobtree

btree algorithm in golang

bazil

Bazil is a file system that lets your data reside where it is most convenient for it to reside.

bolt

An embedded key/value database for Go.

cuteDB

A slick BTree on disk based key value store implemented in pure Go

edgy

tidy

Go lang structured logging made fast and simple

lsmtree

Log-Structured Merge-Tree (LSM-Tree)

asm

amd64 (x86-64) assembler written in Go

diskv

A disk-backed key-value store.

merklemap

A radix Merkle tree stored on disk