zhoudongxu Goto Github PK

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

auto_lirpa

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

awesome-high-dimensional-prob-stat

best-readme-template

An awesome README template to jumpstart your projects!

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

chinese_segment_augment

python3实现互信息和左右熵的新词发现

cmu-cs410-s15

coq-tricks

Tricks you wish the Coq manual told you

cornellcswiki

Student-run wiki for students interested in computer science at Cornell University

ddpl-2023-final

dslab

ferrite

Session Type EDSL for Rust

financial-models-numerical-methods

Collection of notebooks about quantitative finance, with interactive python code.

harmony

Mirror of Apache Harmony

hol

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

hvm

A massively parallel, optimal functional runtime in Rust

hyperscan

High-performance regular expression matching library

infer

A static analyzer for Java, C, C++, and Objective-C

learn_nltk

learn nltk for beginners

math-comp

Mathematical Components

mipverify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming

mypy

Optional static typing for Python

neuralverification.jl

Methods to soundly verify deep neural networks

ocaml

The core OCaml system: compilers, runtime system, base libraries

oslab

p4-guide

Guide to p4lang repositories and some other public info about P4

pi-forall

A demo implementation of a simple dependently-typed language

pot

POT : Python Optimal Transport

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

pyjion

Pyjion - A JIT for Python based upon CoreCLR