yxliang01

git-upload

gitu MSG = git add . && git commit -m MSG && git push

JiuZhou

JiuZhou is a data set of Ethereum bug smart contracts.

oyente

An Analysis Tool for Smart Contracts

tracerx-klee

Tracer-X KLEE Symbolic Virtual Machine

EffectiveSan

Runtime type and bounds-error checking for C/C++

sleeping-human-text

Sleeping human in ASCII text

TracerX-PS

TracerX Symbolic Executor for Problem Solving

android-youtubeExtractor

Android based YouTube URL extractor and downloader

ColorStr

A better way to mark terminal output in color

create-probot-app

🤖📦 Create a new probot app

deap

Distributed Evolutionary Algorithms in Python

docs.scala-lang

The Scala Documentation website

Espresso

🚚 Espresso is an express delivery tracking app designed with Material Design style, built on MVP(Model-View-Presenter) architecture with RxJava2, Retrofit2, Realm database and ZXing

FirefoxLite

Emerging Market Experiment

focus-android

Firefox Focus: The privacy browser - Browse like no one’s watching.

klee

KLEE Symbolic Execution Engine

llvm

Intel staging area for llvm.org contribution. Home for Intel LLVM-based projects.

LowFat

Lean C/C++ Bounds Checking with Low-Fat Pointers

MyExpenses

GPL licenced Android Expense Tracking App

OpenCC

A project for conversion between Traditional and Simplified Chinese

pldi19-equivalence-checker

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

ppltr

A PoPuLaToR for a PeePhoLe opTimizeR

pycuda

CUDA integration for Python, plus shiny features

pyopencl

OpenCL integration for Python, plus shiny features

scala

The Scala programming language

super-linter

Combination of multiple linters to install as a GitHub Action

surveyor

Android client for executing RapidPro flows offline.

TimeMachine

type-fest

A collection of essential TypeScript types

verisol

A formal verifier and analysis tool for Solidity Smart Contracts