zhengyao-lin

sf-lf

Some exercises from software foundations: logical foundations

lfs-docker

Build LFS 11.1-systemd using Docker (x86_64 and aarch64 supported)

cs184-final-project

Spectral ray tracing and lens flare. https://rod-lin.github.io/cs184-final-project/

datalog-aa

Alias analysis for LLVM using Datalog

k-llvm-backend-perf

Performance comparison for kevm with other evm implementations

AxProf

A framework for accuracy profiling of randomized approximate algorithm implementations

edge-log

A minimal application framework for sites running entirely on Cloudflare Workers® (https://workers.cloudflare.com)

ethereumjs-vm

The Ethereum VM implemented in JavaScript

euf

congruence closure

faucet

here comes water

fol-synthesis

Tools related to formula/structure synthesis in FOL and modal logic

gittar

A toy git implementation

go-ethereum

Official Go implementation of the Ethereum protocol

grub2-themes

Modern Design theme for Grub2

imp-haskell

an interpreter of imp for performance comparison with k

k

K Framework Tools 5.0

k0

Slim builds of the K framework: https://github.com/kframework/k. Docker Hub: https://hub.docker.com/r/zl38/k0

kore

The symbolic execution engine powering the K Framework

kore2mm

reducing kore to functional matching logic formulated in metamath. Now moved to https://github.com/kframework/matching-logic-proof-checker

letsencrypt-formula

Saltstack formula for letsencrypt service

matching-logic-prover

mongodb-formula

public

static stuff

pysmt

pySMT: A library for SMT formulae manipulation and solving

rxdata

data collector for BLE rssi

smetamath-rs

A fork of smetamath with some tweaks.

verified-smart-contracts

Smart contracts which are formally verified

verus

Verified Rust for low-level systems code

yterm

Web-based ANSI/VT100 terminal emulator

proof-generation