ctongfei

followers

following

stars

https://tongfei.me

Organizations

hltcoe

Tongfei Chen's starred repositories

frp

A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.

Language:GoApache-2.082950 1568 3451

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustApache-2.031782 87 2275

ruff

An extremely fast Python linter and code formatter, written in Rust.

Language:RustMIT29545 79 4821

tuning_playbook

A playbook for systematically maximizing the performance of deep learning models.

NOASSERTION26037 281 39

exa

A modern replacement for ‘ls’.

Language:RustMIT23456 136 881

tree-sitter

An incremental parsing system for programming tools

Language:RustMIT17512 191 1359

mlx

MLX: An array framework for Apple silicon

Language:C++MIT16040 139 478

peft

🤗 PEFT: State-of-the-art Parameter-Efficient Fine-Tuning.

Language:PythonApache-2.015317 103 991

nougat

Implementation of Nougat Neural Optical Understanding for Academic Documents

Language:PythonMIT8567 66 200

nord

An arctic, north-bluish color palette.

Language:SCSSMIT6002 67 187

lean4

Lean 4 programming language and theorem prover

Language:LeanApache-2.04279 68 1676

tch-rs

Rust bindings for the C++ api of PyTorch.

Language:RustApache-2.04079 54 556

lance

Modern columnar data format for ML and LLMs implemented in Rust. Convert from parquet in 2 lines of code for 100x faster random access, vector index, and data versioning. Compatible with Pandas, DuckDB, Polars, Pyarrow, with more integrations coming..

Language:RustApache-2.03667 41 872

mathlib

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

Language:LeanApache-2.01668 52 362

mkdocstrings

:blue_book: Automatic documentation from sources, for MkDocs.

Language:PythonISC1640 14 400

beir

A Heterogeneous Benchmark for Information Retrieval. Easy to use, evaluate your models across 15+ diverse IR datasets.

Language:PythonApache-2.01511 23 136

hyperDB

A hyper-fast local vector database for use with LLM Agents. Now accepting SAFEs at $135M cap.

Language:PythonMIT1354 17 17

jaxtyping

Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/

Language:PythonNOASSERTION1071 12 119

HiGHS

Linear optimization software

Language:C++MIT882 31 666

curated-transformers

🤖 A PyTorch library of curated Transformer models and their composable components

Language:PythonMIT855 14 31

mamba.py

A simple and efficient Mamba implementation in pure PyTorch and MLX.

Language:PythonMIT829 6 32

azure-storage-fuse

A virtual file system adapter for Azure Blob storage

Language:GoNOASSERTION648 41 785

so-vits-svc-4.0-v2

SoftVC VITS Singing Voice Conversion

Language:PythonMIT547 5 18

sxql

An SQL generator for Common Lisp.

Language:Common LispBSD-3-Clause351 19 43

torchdim

Named tensors with first-class dimensions for PyTorch

Language:Jupyter NotebookBSD-3-Clause321 11 8

jsons

🐍 A Python lib for (de)serializing Python objects to/from JSON

Language:PythonMIT287 8 127

gears

A strawman for a low-level async library in Scala 3.

Language:ScalaApache-2.0235 24 14

matching

A package for solving matching games

Language:PythonMIT149 5 42

ntptutorial

Tutorial on neural theorem proving

Language:Jupyter NotebookMIT147 50

sinopy

Scripts to work with Chinese language data

Language:PythonGPL-2.012 7 7