Discover @sighingnow Open Source projects

Tao He (@sighingnow)

sighingnow

Stars
712
Global Rank 42,218 (Top 2 %)
Followers 351
Following 975
Registered over 10 years ago
Most used languages

Haskell
44.4 %

Python
16.7 %

C++
11.1 %

HTML
5.6 %

Coq 5.6 %

C
5.6 %

CSS
5.6 %

Brainfuck 5.6 %
Location 🇨🇳 China
Country Total Rank 6,352
Country Ranking

Coq 5

Brainfuck 6

Haskell
10

CSS
129

Python
2,297

HTML
6,163

C++
7,823

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.

amazing-coq

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

primesieve-haskell

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

xgboost-haskell

XGBoost for Haskell via FFI.

compile-pascal

A simple PL0 compiler using parser combinator.

sighingnow.github.io

Homepage hosted on Github Pages.

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).

intuition-plugin

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

socket-messaging

Some messaging demos using linux socket.

ghc-events-sqlite

Manipulate ghc-events with SQLite.

google-cpp-btree

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

bounded-list

A bounded-list in Haskell using dependent type tricks.

etcd-distro

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