paulkoerbitz

typeful-redux

A typesafe, low-boilerplate wrapper around redux

resolve-types

Resolve TypeScript types in inline code. Useful for testing type operators.

tslint-auto-disable

Automatically insert disable comments for failing TSLint rules

hsbci

A fast, modular and simple HBCI library for Haskell

idfXt

An Xmonad clone written in Idris

linfa

A Rust machine learning framework.

delta

el-get

Manage the external elisp bits and pieces upon which you depend!

git-pivot

A pivot table generator for git statistics

hbci4java

Fork of HBCI4Java (from http://hbci4java.kapott.org), that contains support for chipTAN, smsTAN, HHD, SEPA and other fixes/enhancements

Idris-dev

A Dependently Typed Functional Programming Language

linfa_odsc

Presentation on Linfa

message-exercise

ndarray-linalg

Linear algebra package for rust-ndarray using LAPACK binding

nixpkgs

Nix Packages collection

notable

The Markdown-based note-taking app that doesn't suck.

papers

A Git annex repository of papers

paulkoerbitz.github.io

pauls-blog

Paul's personal blog

pauls_tools

Some simple python tools I keep using, mostly to process and plot data

quill

Quill is a modern WYSIWYG editor built for compatibility and extensibility.

quox

The power of redux with the convenience of mobx

rbtree

Certified RedBlack trees in Idris

rpn-demo

A simple Haskell introduction demonstrating a few features while implementing a RPN calculator

rust

a safe, concurrent, practical language

signet

Signet type library

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

typescript.el

wasm-first-steps

Exploring Web Assembly with some hand-written functions

X11

X11 bindings for Idris