Highlights
- Pro
Block or Report
Block or report zhengyao-lin
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
verus Public
Forked from verus-lang/verusVerified Rust for low-level systems code
-
-
proof-generation Public
Forked from runtimeverification/proof-generationPython BSD 3-Clause "New" or "Revised" License UpdatedNov 10, 2023 -
k-llvm-backend-perf Public
Performance comparison for kevm with other evm implementations
-
kore Public
Forked from runtimeverification/haskell-backendThe symbolic execution engine powering the K Framework
-
grub2-themes Public
Forked from vinceliuice/grub2-themesModern Design theme for Grub2
-
lfs-docker Public
Build LFS 11.1-systemd using Docker (x86_64 and aarch64 supported)
-
fol-synthesis Public
Tools related to formula/structure synthesis in FOL and modal logic
-
pysmt Public
Forked from pysmt/pysmtpySMT: A library for SMT formulae manipulation and solving
-
-
-
smetamath-rs Public
Forked from sorear/smetamath-rsA fork of smetamath with some tweaks.
-
k0 Public
Slim builds of the K framework: https://github.com/kframework/k. Docker Hub: https://hub.docker.com/r/zl38/k0
-
-
-
kore2mm Public
reducing kore to functional matching logic formulated in metamath. Now moved to https://github.com/kframework/matching-logic-proof-checker
-
ethereumjs-vm Public
Forked from ethereumjs/ethereumjs-monorepoThe Ethereum VM implemented in JavaScript
-
imp-haskell Public
an interpreter of imp for performance comparison with k
-
matching-logic-prover Public
Forked from kframework/matching-logic-prover -
cs184-final-project Public
Spectral ray tracing and lens flare. https://rod-lin.github.io/cs184-final-project/
-
go-ethereum Public
Forked from ethereum/go-ethereumOfficial Go implementation of the Ethereum protocol
-
verified-smart-contracts Public
Forked from runtimeverification/verified-smart-contractsSmart contracts which are formally verified
-
edge-log Public
A minimal application framework for sites running entirely on Cloudflare Workers® (https://workers.cloudflare.com)
-
-
AxProf Public
Forked from uiuc-arc/AxProfA framework for accuracy profiling of randomized approximate algorithm implementations
-
sf-lf Public
Some exercises from software foundations: logical foundations
-
mongodb-formula Public
Forked from saltstack-formulas/mongodb-formula -
-
letsencrypt-formula Public
Forked from saltstack-formulas/letsencrypt-formulaSaltstack formula for letsencrypt service
-