yichaolemon Goto Github PK

asyncfun

Async library and tests

awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

batfish

Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.

bril

an educational compiler intermediate representation

computersync

Peer-to-peer file sync with end to end encryption.

concur

cool_compiler

learning and making a compiler for fun.

coq_datastructures

Various verified data structures in Coq.

coqtail

Interactive Coq Proofs in Vim

cornellcs6120

working through the course independently

dailylog

journal app

dbas-demo-convex

test

file_converter

pdf to epub

fourier

libsignal-protocol-java

Signal Protocol library for Java/Android

messager

Computer to Computer IM, with Raspberry Pi as a server, end to end encrypted.

mine-sweeper

silly little game to learn react

minikeyvalue

A distributed key value store in under 1000 lines. Used in production at comma.ai

nicesqlplanner

Nice SQL query execution planner

penrose

Create beautiful diagrams just by typing mathematical notation in plain text.

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

regexmatcher

regular expression matcher

spp-benchmark

A benchmark for the stable path problem

symbolic

thread_pool

thread pool implementation in golang

tidb-portal

urlscraper

Parallel downloading of webpages within the same domain using Go.

z3

The Z3 Theorem Prover