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/xgboost-haskell
XGBoost for Haskell via FFI.
sighingnow/argo-workflows
Workflow engine for Kubernetes
sighingnow/arrow-py
Better dates & times for Python
sighingnow/artwork
🎨CNCF-related logos and artwork
sighingnow/bad
a playground for working with fully static tensors and automatic differentiation
sighingnow/capnproto
Cap'n Proto serialization/RPC system - core tools and C++ library
sighingnow/counterexamples
Counterexamples in Type Systems
sighingnow/cpp-netlib
The C++ Network Library Project -- cross-platform, standards compliant networking library.
sighingnow/dask
Parallel computing with task scheduling
sighingnow/dive
A tool for exploring each layer in a docker image
sighingnow/grok_exporter
Export Prometheus metrics from arbitrary unstructured log data.
sighingnow/grpc-cmake
sighingnow/grpc-gateway
gRPC to JSON proxy generator following the gRPC HTTP spec
sighingnow/helm
The Kubernetes Package Manager
sighingnow/irchistory
The history of IRC
sighingnow/kubectx
Faster way to switch between clusters and namespaces in kubectl
sighingnow/kubedl
Run your deep learning training workloads on Kubernetes
sighingnow/kubeflow
Machine Learning Toolkit for Kubernetes
sighingnow/omniscidb
OmniSciDB (formerly MapD Core)
sighingnow/oneTBB
oneAPI Threading Building Blocks (oneTBB)
sighingnow/pjdfstest
File system test suite.
sighingnow/proto3-suite
Haskell Protobuf Implementation
sighingnow/proto3-wire
sighingnow/recover-rtti
Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
sighingnow/rich
Rich is a Python library for rich text and beautiful formatting in the terminal.
sighingnow/smhasher
Hash function quality and speed tests
sighingnow/tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
sighingnow/WAVM
WebAssembly Virtual Machine
sighingnow/z-botan
TLS for Haskell
sighingnow/z-data
array, slices and text