Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

Lean 3 Theorem Prover (community fork)

Lean 3's obsolete mathematical components library: please use mathlib4

GTP engine and self-play learning in Go

An elegant Go board and SGF editor for a more civilized age.

Lizzie - Leela Zero Interface

pandas中文教程

A minimalistic and high-performance SAT solver

An advanced SAT solver

The pytorch re-implement of the official efficientdet with SOTA performance in real time and pretrained weights.

a simple ping pong game in terminal with c#

This is the project page for veri dataset which is a large scale image dataset for vehicle re-identification in urban traffic surveillance.

WebAssembly Design Documents

提取远程 git 泄露或本地 git 的工具

📝 Plain theme for Hexo.

📚 Freely available programming books

Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equat…

Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)

Tutorials for doing scientific machine learning (SciML) and high-performance differential equation solving with open source software.

自己学习java安全的一些总结，主要是安全审计相关

What do people have in their dotfiles?

源码-学习

琉璃神社 hacg android app

🌸 A command-line fuzzy finder

Calling MATLAB in Julia through MATLAB Engine

程序员如何优雅的挣零花钱，2.0版，升级为小书了。Most of this not work outside China , so no English translate

estimatr: Fast Estimators for Design-Based Inference

Code release for Discriminative Adversarial Domain Adaptation (AAAI2020).

Learning Saliency Propagation for Semi-supervised Instance Segmentation

Pytorch implementation of SSV: Self-Supervised Viewpoint Learning from Image Collections (CVPR 2020)