overlogged

linux

Linux kernel source tree

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, Bitmaps.

tidb

TiDB is an open-source, cloud-native, distributed, MySQL-Compatible database for elastic scale and real-time analytics. Try AI-powered Chat2Query free at : https://www.pingcap.com/tidb-serverless/

English-level-up-tips

An advanced guide to learn English which might benefit you a lot 🎉 . 离谱的英语学习指南/英语学习教程。

concurrentqueue

A fast multi-producer, multi-consumer lock-free concurrent queue for C++11

dotty

The Scala 3 compiler, also known as Dotty.

meltdown

This repository contains several applications, demonstrating the Meltdown bug.

spectre-meltdown-checker

Reptar, Downfall, Zenbleed, ZombieLoad, RIDL, Fallout, Foreshadow, Spectre, Meltdown vulnerability/mitigation checker for Linux & BSD

sequelize-auto

Automatically generate bare sequelize models from your database.

dingtalk

钉钉桌面版，基于electron和钉钉网页版开发，支持Windows、Linux和macOS

hadoop-cluster-docker

Run Hadoop Custer within Docker Containers

json_resume

Generates pretty HTML, LaTeX, markdown, with biodata feeded as input in JSON

with

Command prefixing for continuous workflow using a single tool.

WALA

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

JustWriting

markdown blog system

TechNotes

Scan's personal technical notes

cozy

The collection synthesizer

DeepBugs

DeepBugs is a framework for learning bug detectors from an existing code corpus.

program_synthesis

Program Synthesis

JS_WALA

WALA analyses and tools that are implemented in JavaScript

karel

Karel dataset for program synthesis and program induction

debugger-utils

Utils collection for extending gdb with python

howcomputer

how does a computer even (or: fun with profiling)

dthreads

dthreads: Efficient Deterministic Multithreading

CSUG

China Scala User Group

web-cpp

a c++ compiler in typescript

code-vectors-artifact

Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"

lsbm

lsm-tree with buffered merge

compile-time-snake

pfpl-questions

学习 PFPL 遇到的问题集