Block or report user

Report or block k-bx

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

CLI IO utilities

TypeScript 144 10 Updated Oct 17, 2018

A CoNLL-U parser that takes a CoNLL-U formatted string and turns it into a nested python dictionary.

Python 71 19 Updated Oct 5, 2018

Solutions of the exercises of the HoTT book

Agda 3 Updated Dec 15, 2016

Haskell Image Processing Library

Haskell 62 6 Updated Sep 13, 2018

An attempt to speed up smaz compression through a rudimentary trie implementation

C 7 Updated Jun 30, 2013

The strongly hyped Haskell interpreter.

JavaScript 304 19 Updated Aug 12, 2018

f(cafe) 2018

8 Updated Jul 27, 2018

Technical specifications for IAB Europe Transparency and Consent Framework that will help the digital advertising industry interpret and comply with EU rules on data protection and privacy - notabl…

JavaScript 409 130 Updated Oct 12, 2018

Modern Haskell binding to the Notmuch mail indexer

Haskell 4 1 Updated Aug 29, 2018

15-819 (Homotopy Type Theory) Lecture Notes

TeX 126 23 Updated Dec 17, 2017

Haskell Bindings to RocksDB.

C++ 6 1 Updated Apr 18, 2018

Clojure library to keep you away from bugs with precise schemas (refined types with runtime checks)

Clojure 54 3 Updated Jul 19, 2018

Log routing for Docker container logs

Go 3,431 583 Updated Oct 15, 2018

yacctt: Yet Another Cartesian Cubical Type Theory

Haskell 47 4 Updated Jul 30, 2018

A type-safe, non-TH Haskell SQL library and ORM

Haskell 278 64 Updated Oct 14, 2018

A migration library for Persistent

Haskell 19 Updated Aug 18, 2018

IMA SDK Plugin for Video.js

JavaScript 247 186 Updated Oct 3, 2018

Slides and projects for LambdaConf 2018 Workshop

Haskell 12 2 Updated Jun 3, 2018

Haskell/GHC symbol search cheatsheet

149 4 Updated Jul 1, 2018

Efficiently computes derivatives of numpy code.

Python 2,957 439 Updated Oct 17, 2018

Haskell Implementation of Lambda Calculus as explained in Types and Programming Languages

Haskell 4 1 Updated May 20, 2018

The corrective bash syntax highlighter

Rust 3,220 96 Updated Sep 14, 2018

A quick guide to Emacs Lisp programming

727 52 Updated Mar 22, 2018

The Eta Programming Language, a dialect of Haskell on the JVM

Haskell 2,051 136 Updated Sep 28, 2018

userscript for highlighting suspicious profiles on youtube

JavaScript 117 26 Updated Oct 16, 2018

Generation of diagram and flowchart from text in a similar manner as markdown

JavaScript 20,123 1,152 Updated Oct 11, 2018

Your Swiss Army Knife for Protocol Buffers

Go 2,486 70 Updated Sep 25, 2018

Fast Haskell XML parser

Haskell 59 14 Updated Jul 11, 2018

A Haskell library to mock the current time.

Haskell 11 Updated May 1, 2018

libfaketime modifies the system time for a single application

C 876 116 Updated Oct 11, 2018