runelabs

runelabs's Stars

• ClickHouse/ClickHouse

  ClickHouse® is a real-time analytics DBMS

  Language:C++36.9k69221.3k6.8k

• bytecodealliance/wasmtime

  A fast and secure runtime for WebAssembly

  Language:Rust15.2k1772.5k1.3k

• obfuscator-llvm/obfuscator

  3.9k1961531.2k

• bytecodealliance/cranelift

  Cranelift code generator

  2.5k93379202

• nebulet/nebulet

  A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.

  Language:Rust2.3k1252774

• google/souper

  A superoptimizer for LLVM IR

  Language:C++2.1k62141168

• rurban/smhasher

  Hash function quality and speed tests

  Language:C++1.8k53181176

• perlin-network/noise

  A decentralized P2P networking stack written in Go.

  Language:Go1.8k7395211

• perlin-network/life

  A secure WebAssembly VM catered for decentralized applications.

  Language:Go1.7k5667122

• google/schism

  A self-hosting Scheme to WebAssembly compiler

  Language:Scheme1.3k794365

• erthink/libmdbx

  One of the fastest embeddable key-value ACID database without WAL. libmdbx surpasses the legendary LMDB in terms of reliability, features and performance.

  Language:C1.2k53229110

• csmith-project/csmith

  Csmith, a random generator of C programs

  Language:C++1k3599144

• AliveToolkit/alive2

  Automatic verification of LLVM optimizations

  Language:C++7632347295

• cervus-v/cervus

  The Cervus Subsystem for Linux

  Language:Rust72835921

• erthink/t1ha

  One of the fastest hash functions

  Language:C341293829

• RUB-SysSec/syntia

  Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"

  Language:Python29816356

• m4b/faerie

  Magical ELF and Mach-o object file writer backend

  Language:Rust264105326

• nunoplopes/alive

  Alive: Automatic LLVM's Instcombine Verifier

  Language:Python218163522

• bingmann/stx-btree

  OBSOLETE, contained in https://github.com/tlx/tlx - STX B+ Tree C++ Template Classes -

  Language:HTML21222545

• bytecodealliance/wasmparser

  A simple event-driven library for parsing WebAssembly binary files

  178154749

• nhatminhle/cofoja

  Contracts for Java

  Language:Java151145218

• nidhugg/nidhugg

  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.

  Language:C7793233

• pyos/libcno

  There can never be enough http (2) libraries.

  Language:C30494

• gianlucaborello/ptexplore

  A simple tool to print the page table content of a process in Linux. Useful for predicting page faults.

  Language:Go28302

• chaoran/fibril

  A high performance fork-join multi-threading library

  Language:C18442

• denismerigoux/wasm2cretonne

  Translator from wasm to Cretonne IL

  Language:Rust18412

• memorax/memorax

  Prototype tool for verification and automatic fence insertion for parallel programs under relaxed memory models. Currently supports the TSO, PSO and VIPS memory models.

  Language:C++65

• preemptive-FP7/uShield

  Host-based detection for embedded devices used in ICS environments

  Language:C55

• cervus-v/cervus-rt

  Cervus Runtime for executing WebAssembly on Cervus

  Language:Rust2200

• kjellwinblad/SprayList

  The SprayList data structure

  Language:C1