Skip to content
View mengrj's full-sized avatar

Block or report mengrj

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • Ruijie Meng's academic homepage.

    HTML Updated Aug 27, 2024
  • Template repository for CS5219

    Python MIT License Updated May 30, 2024
  • aflnet Public

    Forked from aflnet/aflnet

    AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)

    C Apache License 2.0 Updated Feb 4, 2024
  • Hopper Public

    Forked from FuzzAnything/Hopper

    Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.

    Rust Other Updated Nov 14, 2023
  • redis Public

    Forked from redis/redis

    Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs,…

    C BSD 3-Clause "New" or "Revised" License Updated Apr 16, 2023
  • tikv Public

    Forked from tikv/tikv

    Distributed transactional key-value database, originally created to complement TiDB

    Rust Apache License 2.0 Updated Apr 12, 2023
  • redisraft Public

    Forked from RedisLabs/redisraft

    A Redis Module that make it possible to create a consistent Raft cluster from multiple Redis instances.

    C Other Updated Apr 12, 2023
  • raft-c Public

    Forked from canonical/raft

    C implementation of the Raft consensus protocol

    C Other Updated Apr 12, 2023
  • dqlite Public

    Forked from canonical/dqlite

    Embeddable, replicated and fault tolerant SQL engine.

    C Other Updated Apr 12, 2023
  • A collection of out-of-tree LLVM passes for teaching and learning

    C++ MIT License Updated Oct 29, 2022
  • scylladb Public

    Forked from scylladb/scylladb

    NoSQL data store using the seastar framework, compatible with Apache Cassandra

    C++ GNU Affero General Public License v3.0 Updated Aug 11, 2022
  • jepsen Public

    Forked from jepsen-io/jepsen

    A framework for distributed systems verification, with fault injection

    Clojure Updated Aug 4, 2022
  • log Public

    Updated Jul 24, 2022
  • stateafl Public

    Forked from stateafl/stateafl

    StateAFL: A Greybox Fuzzer for Stateful Network Servers

    C Apache License 2.0 Updated Jun 6, 2022
  • Shell Updated May 24, 2022
  • redpanda Public

    Forked from jepsen-io/redpanda

    Tests for the Redpanda distributed queue

    Clojure Other Updated Apr 22, 2022
  • etcd Public

    Forked from jepsen-io/etcd

    Jepsen tests for etcd

    Clojure Eclipse Public License 2.0 Updated Feb 2, 2022
  • scylla-jepsen Public

    Forked from jepsen-io/scylla

    Jepsen tests for ScyllaDB

    Clojure Updated Jan 3, 2022
  • Updated Jan 3, 2022
  • TLA Updated Oct 27, 2021
  • parmesan Public

    Forked from vusec/parmesan

    ParmeSan: Sanitizer-guided Greybox Fuzzing

    C++ Apache License 2.0 Updated Sep 15, 2021
  • peachpro Public

    Forked from vanhauser-thc/peachpro

    Dockerfile for peach pro with everything set up as needed

    Dockerfile Updated Sep 14, 2021
  • click Public

    Forked from dranov/click

    The Click modular router: fast modular packet processing and analysis

    C++ Other Updated Aug 10, 2021
  • Jepsen test for TiKV

    Clojure Apache License 2.0 Updated Aug 4, 2021
  • LLVMPasses Public

    Forked from JKRT/LLVMPasses

    Simple trivial example on how to run an LLVM module and LLVM function pass

    C++ MIT License Updated Mar 5, 2021
  • ijon Public

    Forked from RUB-SysSec/ijon
    C Updated Apr 21, 2020
  • nfqueue-rs Public

    Forked from chifflier/nfqueue-rs

    Netfilter NFQUEUE high-level bindings (rust)

    Rust GNU General Public License v2.0 Updated Apr 7, 2020
  • razzer Public

    Forked from compsec-snu/razzer

    A Kernel fuzzer focusing on race bugs

    C Updated Jul 10, 2019
  • maple Public

    Forked from jieyu/maple

    A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for testing concurrent programs.

    C++ Apache License 2.0 Updated Mar 31, 2017