The Z3 Theorem Prover

Go ahead and axolotl questions

A fault tolerant, protocol-agnostic RPC system

Awesome paper list with code about generative adversarial nets

Argument Parser for Modern C++

Google's differential privacy libraries.

Succinct Data Structure Library 2.0

ChainerRL is a deep reinforcement learning library built on top of Chainer.

This repository contains data on Coronavirus Disease 2019 (COVID-19) in New York City (NYC), from the NYC Department of Health and Mental Hygiene.

Diffprivlib: The IBM Differential Privacy Library

Simple Theorem Prover, an efficient SMT solver for bitvectors

The Python Differential Privacy Library. Built on top of: https://github.com/google/differential-privacy

Dataflow analysis & differential privacy for SQL queries. This project is deprecated and not maintained.

A C++ header-only ZLib wrapper

Transformer of "Attention Is All You Need" (Vaswani et al. 2017) by Chainer.

Packages your project using One-JAR™

Improved Lecture Notes in Computer Science (LNCS) template

Sourcerer's Code Clone project

Scala coroutines implementation.

Estimate Realtime Case Counts and Time-varying Epidemiological Parameters

BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench

Pedagogical first-order prover in Python

Neural IME: Neural Input Method Engine

Efficient LSH-based kernel density estimation

New kana-kanji conversion engine

C++ implementation of FM Index data structure wrapped in Python

An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and FastChat-T5.