A repository of additional stochastic optimizers to be used within the S-TaLiRo tool for system falsification testing.

Simple Theorem Prover, an efficient SMT solver for bitvectors

Pedagogical first-order prover in Python

Python parser for Sequent Calculus & Natural Deduction

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

Go ahead and axolotl questions

Argument Parser for Modern C++

A C++ header-only ZLib wrapper

A fault tolerant, protocol-agnostic RPC system

dcase communicator

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.

Diffprivlib: The IBM Differential Privacy Library

Packages your project using One-JAR™

Google's differential privacy libraries.

Improved Lecture Notes in Computer Science (LNCS) template

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

Efficient LSH-based kernel density estimation

MacOS port of AIST CCFinderX

Estimate Realtime Case Counts and Time-varying Epidemiological Parameters

BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench

The Z3 Theorem Prover

Sourcerer's Code Clone project

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

Find duplicate text from files

Succinct Data Structure Library 2.0

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