X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies

PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs

Qemu KVM(Kernel Virtual Machine)学习笔记

[ICML 2020] DrRepair: Learning to Repair Programs from Error Messages

Circuit Lab! Fun with LEDs and BeagleBones...

Jupyter kernel for the Python programming language

lightweight, idiomatic and composable router for building Go HTTP services

Interactive tools and developer experiences for Big Data on Google Cloud Platform.

Datasets, tools, and benchmarks for representation learning of code.

With Getaviz you can solve software engineering problems visually by exploring software artifacts them in 2D, 3D, and virtual reality.

CoCalc: Collaborative Calculation in the Cloud

Code For Medium Article: "How To Create Natural Language Semantic Search for Arbitrary Objects With Deep Learning"

SpaCy 中文模型 | Models for SpaCy that support Chinese

Milvus is a high-performance, cloud-native vector database built for scalable vector ANN search

Visually explore, understand, and present your data.

Brings SQL and AI together.

VS Code in the browser