Congyu-Liu

Congyu-Liu's Stars

• rssys/pegasus-artifact

  1

• zmw12306/ParDiff

  A Static Differential Analysis Tool of Network Protocol Parsers

  Language:C++172

• cmu-db/benchbase

  Multi-DBMS SQL Benchmarking Framework via JDBC

  Language:Java451179

• rssys/snowcat

  This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor".

  12

• cpressey/Facts-about-State-Machines

  I hold the opinion that state machines are underrated

  72616

• Netflix/chaosmonkey

  Chaos Monkey is a resiliency tool that helps applications tolerate random instance failures.

  Language:Go15k1.1k

• JunyangShao/SunnyMilkFuzzerJDK

  Hmmmm!

  Language:C++4

• benhoyt/goawk

  A POSIX-compliant AWK interpreter written in Go, with CSV support

  Language:Go1.9k83

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust32.7k877

• awslabs/snapchange

  Lightweight fuzzing of a memory snapshot using KVM

  Language:Rust43726

• CSStipendRankings/CSStipendRankings

  https://csstipendrankings.org

  Language:HTML19350

• typesense/typesense

  Open Source alternative to Algolia + Pinecone and an Easier-to-Use alternative to ElasticSearch ⚡ 🔍 ✨ Fast, typo tolerant, in-memory fuzzy Search Engine for building delightful search experiences

  Language:C++20.5k632

• redpanda-data/redpanda

  Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!

  Language:C++9.4k577

• rethinkdb/rethinkdb

  The open-source database for the realtime web.

  Language:C++26.7k1.9k

• cmu-pasta/linux-kernel-enriched-corpus

  Linux Kernel Fuzzer Corpus

  Language:Python12715

• sjwhitworth/golearn

  Machine Learning for Go

  Language:Go9.3k1.2k

• go-delve/delve

  Delve is a debugger for the Go programming language.

  Language:Go22.7k2.1k

• ZhangZhuoSJTU/Web3Bugs

  Demystifying Exploitable Bugs in Smart Contracts

  Language:Solidity1.5k203

• heidihoward/distributed-consensus-reading-list

  A list of papers about distributed consensus.

  2.3k207

• anishathalye/porcupine

  A fast linearizability checker written in Go 🔎

  Language:Go87850

• vanhauser-thc/afl-cov

  Produce code coverage results with gcov from afl-fuzz test cases

  Language:Python6613

• vesoft-inc/nebula

  A distributed, fast open-source graph database featuring horizontal scalability and high availability

  Language:C++10.6k1.2k

• mongodb/mongo

  The MongoDB Database

  Language:C++26.1k5.5k

• mediremi/rust-plus-golang

  Rust + Go — Call Rust code from Go using FFI

  Language:Makefile70854

• dyu/ffi-overhead

  comparing the c ffi (foreign function interface) overhead on various programming languages

  Language:C65742

• rust-fuzz/arbitrary

  Generating structured data from arbitrary, unstructured input.

  Language:Rust71072

• nautilus-fuzz/nautilus

  A grammar based feedback Fuzzer

  Language:Python42364

• uwsampa/research-group-web

  a template for research group sites

  Language:HTML186397

• AFLplusplus/Grammar-Mutator

  A grammar-based custom mutator for AFL++

  Language:Python22418

• apache/kudu

  Mirror of Apache Kudu

  Language:C++1.8k649