Pinned Repositories
etcd-cpp-apiv3
The etcd-cpp-apiv3 is a C++ library for etcd's v3 client APIs, i.e., ETCDCTL_API=3.
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
amazing-coq
WHAT I have done on the road to Coq language and certified programming.
duckdb-haskell
Full-featured haskell bindings for the duckdb database.
jekyll-gitbook
Build Jekyll site with GitBook style!
libclang
(Unofficial) Release libclang (clang.cindex) on pypi.
mxnet-haskell
MXNet interface in Haskell.
parsec.py
A universal Python parser combinator library inspired by Parsec library of Haskell.
v6d
vineyard (v6d): an in-memory immutable data manager. (Project under CNCF, TAG-Storage)
sighingnow's Repositories
sighingnow/Programming
Some interesting tools and solutions of problems on Online-Judge.
sighingnow/Functional-99
Solution for Ninety-Nine Problems in functional programming language(Haskell, Scala and Scheme).
sighingnow/socket-messaging
Some messaging demos using linux socket.
sighingnow/algebra-cpp
A functional template library in modern C++, heavily modified from the amazing https://github.com/beark/ftl
sighingnow/dnngraph
A DSL for deep neural networks, supporting Caffe and Torch
sighingnow/project-euler
Solutions for project-euler (Use Python, Scala and Haskell)
sighingnow/singleton-factory
implements of singleton factory
sighingnow/Spider-Utils
Some spiders written in Python.