Evaluation harness for OpenHands V1.

A formal proof of the Riemann Hypothesis for curves

A pure-Rust implementation of group operations on Ristretto and Curve25519

If you are doing leetcode challenges, you know that automatically generating testcases to double check your answers would be amazing. Fear not - the repo has got you covered.

在没有sudo权限的情况下，在linux上使用clash

VST verification of programs from the cbench benchmark

Fork quadratic reciprocity proof for personal note

Supplementary material for Stratified Type Theory

General Game Playing (GGP) framework in Python

Code and hyperparameters for the paper "Generative Adversarial Networks"

Generative moment matching networks

A system for parallel and distributed Python that unifies the ML ecosystem.

PyTorch implementation of Advantage Actor Critic (A2C), Proximal Policy Optimization (PPO), Scalable trust-region method for deep reinforcement learning using Kronecker-factored approximation (ACKT…

Trax — Deep Learning with Clear Code and Speed

Flax is a neural network ecosystem for JAX that is designed for flexibility.

jax-triton contains integrations between JAX and OpenAI Triton

Official repository for the paper "LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code"

parser and prettyprinter for TPDB syntax (termination problem data base)

COnstrained Rewriting Analyser: a tool to analyse term rewriting systems with logical constraints

Interesting ATP Proofs

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

A rule-based tunnel for Android.

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.

Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project

Trying out collaboration on Git

Verified Software Toolchain

Yet another haskell term rewriting library