Giters
Shaobo (shaobo-he)

shaobo-he

Geek Repo

21

followers

28

following

215

stars

Home Page:https://shaobo.one/

Github PK Tool:Github PK Tool

Shaobo's repositories

handbook-of-practical-logic-and-automated-reasoning-in-racket

Language:RacketStargazers:6Issues:1Issues:0

leetcode.hs

Selected leetcode problem solutions in Functional Programming Languages

Language:RacketStargazers:2Issues:0Issues:0

sls

OL1V3R: Reimplementation of "Stochastic Local Search for Satisfiability Modulo Theories" in Racket (probably with support of FP)

Language:RacketLicense:NOASSERTIONStargazers:2Issues:1Issues:18

ct-fuzz-artifact

Language:PythonLicense:NOASSERTIONStargazers:1Issues:2Issues:0

afl

american fuzzy lop (copy of the source code for easy access)

Language:CStargazers:0Issues:2Issues:0

AHalf-rs

Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0

bam-bam-boogieman

Boogie AST Manipulator

Language:BoogieLicense:MITStargazers:0Issues:0Issues:0

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

boogaloo

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

boogie

Boogie

Language:C#License:MITStargazers:0Issues:2Issues:0

coreutils

Cross-platform Rust rewrite of the GNU coreutils

Language:RustLicense:MITStargazers:0Issues:2Issues:0

cs6510

Language:RacketLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ct-quickcheck

QuickCheck for Contant-Time Implementations

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

dafny_examples

Experiments with Dafny

Language:DafnyLicense:MITStargazers:0Issues:0Issues:0

FPBenchParser

A Python parser for the FPBench format

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

functional-programming-studio

Language:RacketStargazers:0Issues:1Issues:0

half-rs

Verification of Half-precision floating point type f16 for Rust.

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

issta2018-benchmarks-wu

Language:ShellStargazers:0Issues:1Issues:0

naive-fxpa

Language:RacketLicense:NOASSERTIONStargazers:0Issues:2Issues:0

pysonar2

a type inferencer for Python

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

QF_FP_OPT

Language:SMTStargazers:0Issues:3Issues:0

SAT.rkt

Implementations of SLS-based SAT Solving Algorithms in Racket

Language:RacketLicense:NOASSERTIONStargazers:0Issues:2Issues:3

sea-dsa

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

seahorn

SeaHorn Verification Framework

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

smack

SMACK Software Verifier And Verification Toolchain

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

smack-rust

Language:CStargazers:0Issues:1Issues:0

soarlab.github.io

Language:CSSLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

sv-benchmarks

Collection of Verification Tasks

Stargazers:0Issues:0Issues:0

tapl

Language:RustStargazers:0Issues:0Issues:0

TraceTransformer

Integer to bit-vector Boogie program transformer

Language:C#License:NOASSERTIONStargazers:0Issues:1Issues:0