shaobo-he

A little Schemer

Pinned Repositories

ct-fuzz
Language:C++9 4 140
dafny_examples
Experiments with Dafny
Language:Dafny4 2 01
ct-fuzz-artifact
Language:Python1 2 01
handbook-of-practical-logic-and-automated-reasoning-in-racket
Language:Racket6 1 00
leetcode.hs
Selected leetcode problem solutions in Functional Programming Languages
Language:Racket2 0 00
sls
OL1V3R: Reimplementation of "Stochastic Local Search for Satisfiability Modulo Theories" in Racket (probably with support of FP)
Language:Racket2 1 180
smack
SMACK Software Verifier and Verification Toolchain
Language:C432 24 45382
OL1V3R
OL1V3R: solving floating-point constraints via stochastic local search
Language:Racket1 3 10

shaobo-he's Repositories

shaobo-he/handbook-of-practical-logic-and-automated-reasoning-in-racket
Language:Racket6 1 00
shaobo-he/leetcode.hs
Selected leetcode problem solutions in Functional Programming Languages
Language:Racket2 0 00
shaobo-he/sls
OL1V3R: Reimplementation of "Stochastic Local Search for Satisfiability Modulo Theories" in Racket (probably with support of FP)
Language:Racket2 1 180
shaobo-he/ct-fuzz-artifact
Language:Python1 2 01
shaobo-he/afl
american fuzzy lop (copy of the source code for easy access)
Language:C2 0
shaobo-he/AHalf-rs
Language:Rust2 0
shaobo-he/bam-bam-boogieman
Boogie AST Manipulator
Language:Boogie0 0
shaobo-he/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python1 0
shaobo-he/boogaloo
Language:Haskell0 0
shaobo-he/boogie
Boogie
Language:C#2 0
shaobo-he/coreutils
Cross-platform Rust rewrite of the GNU coreutils
Language:Rust2 0
shaobo-he/cs6510
Language:Racket1 0
shaobo-he/ct-quickcheck
QuickCheck for Contant-Time Implementations
Language:Rust3 0
shaobo-he/dafny_examples
Experiments with Dafny
Language:Dafny0 0
shaobo-he/FPBenchParser
A Python parser for the FPBench format
Language:Python1 0
shaobo-he/functional-programming-studio
Language:Racket1 0
shaobo-he/half-rs
Verification of Half-precision floating point type f16 for Rust.
Language:Rust2 0
shaobo-he/issta2018-benchmarks-wu
Language:Shell1 0
shaobo-he/naive-fxpa
Language:Racket2 0
shaobo-he/pysonar2
a type inferencer for Python
Language:Java1 0
shaobo-he/QF_FP_OPT
Language:SMT3 0
shaobo-he/SAT.rkt
Implementations of SLS-based SAT Solving Algorithms in Racket
Language:Racket2 3
shaobo-he/sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Language:C++0 0
shaobo-he/seahorn
SeaHorn Verification Framework
Language:C0 0
shaobo-he/smack
SMACK Software Verifier And Verification Toolchain
Language:C1 0
shaobo-he/smack-rust
Language:C1 0
shaobo-he/soarlab.github.io
Language:CSS0 0
shaobo-he/sv-benchmarks
Collection of Verification Tasks
0 0
shaobo-he/tapl
Language:Rust0 0
shaobo-he/TraceTransformer
Integer to bit-vector Boogie program transformer
Language:C#1 0