Coder Social home page Coder Social logo

Just a placeholder

retinadb's Projects

pgdrive icon pgdrive

PGDrive: an open-ended driving simulator with infinite scenes from procedural generation

pison icon pison

Scalable Structural Index Constructor for JSON Analytics

redisraft icon redisraft

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

refl-cpp icon refl-cpp

Static reflection for C++17 (compile-time enumeration, attributes, proxies, overloads, template functions, metaprogramming).

rethinkdb icon rethinkdb

The open-source database for the realtime web.

revng icon revng

revng: the core repository of the rev.ng project

rocksdb-cloud icon rocksdb-cloud

A library that provides an embeddable, persistent key-value store for fast storage optimized for AWS

s2e icon s2e

S2E: A platform for multi-path program analysis with selective symbolic execution.

sanitizers icon sanitizers

AddressSanitizer, ThreadSanitizer, MemorySanitizer

simulator icon simulator

A ROS/ROS2 Multi-robot Simulator for Autonomous Vehicles

soot icon soot

Soot - A Java optimization framework

stacer icon stacer

Linux System Optimizer and Monitoring - https://oguzhaninan.github.io/Stacer-Web

superset icon superset

Apache Superset is a Data Visualization and Data Exploration Platform

symcc icon symcc

SymCC: efficient compiler-based symbolic execution

taskflow icon taskflow

A General-purpose Parallel and Heterogeneous Task Programming System

tera icon tera

An Internet-Scale Database.

tinyinst icon tinyinst

A lightweight dynamic instrumentation library

tokio icon tokio

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

triton icon triton

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

velox icon velox

A new C++ vectorized database acceleration library aimed to optimizing query engines and data processing systems.

vuzzer64 icon vuzzer64

This implements a 64-bit version of vusec/vuzzer fuzzing tool.

zetasql icon zetasql

ZetaSQL - Analyzer Framework for SQL

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.