luoxing

@xingfeT · User

GitHub profile ↗ · Compare

Central China Normal UniversityWuhan,China43 followers91 repositories

Repositories

xingfeT/form

The FORM project for symbolic manipulation of very big expressions

★ 0Forks 0

xingfeT/DeepSpeed

DeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.

★ 0Forks 0

xingfeT/hiredis-v

Inherited from hiredis-vip, support redis cluster authenticate

★ 0Forks 0

xingfeT/CLIP

CLIP (Contrastive Language-Image Pretraining), Predict the most relevant text snippet given an image

★ 0Forks 0

xingfeT/nanoGPT

The simplest, fastest repository for training/finetuning medium-sized GPTs.

★ 0Forks 0

xingfeT/lcc

The lcc retargetable ANSI C compiler

★ 0Forks 0

xingfeT/koi

Compiler for the Calculus of Inductive Constructions

★ 0Forks 0

xingfeT/CAIL

中国法研杯-司法人工智能挑战赛(CAIL2018-2020)

★ 0Forks 0

xingfeT/CoqGym

A Learning Environment for Theorem Proving with the Coq proof assistant

★ 0PythonForks 0

xingfeT/emacs.d

An Emacs configuration bundle with batteries included

★ 0Emacs LispForks 0

xingfeT/hmac-sha1

Standalone implementation of `HMAC()` + `EVP_sha1()` in `OpenSSL`

★ 0Forks 0

xingfeT/tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

★ 0Forks 0

xingfeT/Horde3D

Horde3D is a small 3D rendering and animation engine. It is written in an effort to create an engine being as lightweight and conceptually clean as possible.

★ 0Forks 0