Pinned Repositories
gluon
Experiments with running a webkit2gtk backed UI in Haskell
hsseccomp
Bindings to libseccomp
nixcr
Build docker containers on the fly with nix
pgparsecheck
A compile-time postgres syntax checker based on https://github.com/sfackler/rust-postgres-macros
ppjoin
Hacky implementation of ppjoin by Chuan Xia et Al
smtp
smtp server sketch
streaming-histogram
Lossy online histogram builder in Haskell
tomu-u2f-overlay
Nix package overlay for a tomu flasher
teh's Repositories
teh/ppjoin
Hacky implementation of ppjoin by Chuan Xia et Al
teh/streaming-histogram
Lossy online histogram builder in Haskell
teh/pgparsecheck
A compile-time postgres syntax checker based on https://github.com/sfackler/rust-postgres-macros
teh/pure11
An experimental C++11 backend for PureScript
teh/frp-monitoring
teh/fullpypi
Attempt to build all of pypi.
teh/ghcperf
teh/teh-ssh
Fork of the Haskell ssh package to update to new RSA and add some tests + docs.
teh/annotation-server
teh/binary-serialise-cbor
Binary serialisation in the CBOR format
teh/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
teh/elastic-journald
let's just skip logstash
teh/europython2014
teh/git
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
teh/haskell-v8
Haskell bindings to v8
teh/highlighting-kate
A syntax highlighting library in Haskell, based on Kate syntax definitions
teh/jenkins-plugins-to-nix
Scrapes the jenkins downloads and emits a nix file with all their hashes.
teh/keras
Deep Learning library for Python. Convnets, recurrent neural networks, and more. Runs on Theano and TensorFlow.
teh/language-javascript
Parser for JavaScript, in Haskell
teh/mxnet
Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more
teh/nixfromnpm
Convert NPM packages into nix expressions
teh/numba-segv
teh/process-streaming
Exploring how to interact with system processes using pipes
teh/purescript-affjax
An asynchronous AJAX library built using Aff.
teh/purescript-foreign-generic
Generic deriving for purescript-foreign
teh/pyoidc
A complete OpenID Connect implementation in Python
teh/react
A declarative, efficient, and flexible JavaScript library for building user interfaces.
teh/rps_dojo
Rock Paper Scissors driver to let bots compete against each other.
teh/rs-persistent-datastructures
teh/three.dart
Dart port of three.js