Tao He

jekyll-gitbook. Build Jekyll site with GitBook style!

parsec.py. A universal Python parser combinator library inspired by Parsec library of Haskell.

libclang. (Unofficial) Release libclang (clang.cindex) on pypi.

duckdb-haskell. Full-featured haskell bindings for the duckdb database.

mxnet-haskell. MXNet interface in Haskell.

xgboost-haskell. XGBoost for Haskell via FFI.

primesieve-haskell. A collection of packages related to math, algorithms and science, in Haskell.

amazing-coq. WHAT I have done on the road to Coq language and certified programming.

sighingnow.github.io. Homepage hosted on Github Pages.

compile-pascal. A simple PL0 compiler using parser combinator.

Programming. Some interesting tools and solutions of problems on Online-Judge.

Functional-99. Solution for Ninety-Nine Problems in functional programming language(Haskell, Scala and Scheme).

vllm. A high-throughput and memory-efficient inference and serving engine for LLMs

intuition-plugin. An experiment on applying automated type-level equation reasoning techniques to guiding type normalization of GHC.

etcd-distro. Python distribution for etcd, making `pip install etcd` possible.

bounded-list. A bounded-list in Haskell using dependent type tricks.

Megatron-LM. Ongoing research training transformer models at scale

socket-messaging. Some messaging demos using linux socket.

google-cpp-btree. Mirror of https://code.google.com/archive/p/cpp-btree/

ghc-events-sqlite. Manipulate ghc-events with SQLite.

cpprestsdk. The C++ REST SDK is a Microsoft project for cloud-based client-server communication in native code using a modern asynchronous C++ API design. This project aims to help C++ developers connect to and interact with services.