luoxing 's repositories
brew
🍺 The missing package manager for macOS (or Linux)
CAIL
**法研杯-司法人工智能挑战赛(CAIL2018-2020)
camculator
Android app for solving handwritten math equations.
CLIP
CLIP (Contrastive Language-Image Pretraining), Predict the most relevant text snippet given an image
CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
cpp-base64
base64 encoding and decoding with c++
darknet
Convolutional Neural Networks
DeepSpeed
DeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.
dqlite
Embeddable, replicated and fault tolerant SQL engine.
emacs.d
An Emacs configuration bundle with batteries included
emmmbedding
【emmmbedding】不用存储的图床！
form
The FORM project for symbolic manipulation of very big expressions
grpc
The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
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.
KaTeX
Fast math typesetting for the web.
koi
Compiler for the Calculus of Inductive Constructions
lcc
The lcc retargetable ANSI C compiler
libhttpserver
C++ library for creating an embedded Rest HTTP server (and more)
llama.cpp
Port of Facebook's LLaMA model in C/C++
mal
mal - Make a Lisp
MulticopterSim
Simple Multirotor flight simulator using UnrealEngine4
mupdf
mupdf mirror
nanoGPT
The simplest, fastest repository for training/finetuning medium-sized GPTs.
NyuziProcessor
GPGPU microprocessor architecture
proxygen
A collection of C++ HTTP libraries including an easy to use HTTP server.
pycalphad
CALPHAD tools for designing thermodynamic models, calculating phase diagrams and investigating phase equilibria.
riffa
The RIFFA development repository
tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
verilog-pcie
Verilog PCI express components