paulkoerbitz/pauls-blog

Paul's personal blog

Language: Jupyter Notebook - Size: 16.4 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

paulkoerbitz/resolve-types

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

Language: TypeScript - Size: 312 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 23 - Forks: 1

paulkoerbitz/typeful-redux

A typesafe, low-boilerplate wrapper around redux

Language: TypeScript - Size: 156 KB - Last synced: 25 days ago - Pushed: over 5 years ago - Stars: 53 - Forks: 4

paulkoerbitz/typescript.el Fork of emacs-typescript/typescript.el

Language: Emacs Lisp - Size: 44.9 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

paulkoerbitz/pauls_tools

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

Language: Python - Size: 125 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

paulkoerbitz/clj-mcmc

A Markov chain Monte Carlo toolkit in Clojure

Language: Clojure - Size: 104 KB - Last synced: about 1 year ago - Pushed: over 12 years ago - Stars: 1 - Forks: 0

paulkoerbitz/uncert

A program to compute replication errors via Monte Carlo

Language: C++ - Size: 145 KB - Last synced: about 1 year ago - Pushed: over 12 years ago - Stars: 0 - Forks: 0

paulkoerbitz/lyx_table_parser

converts a lyx file to a tex file and extracts the first table

Language: Python - Size: 89.8 KB - Last synced: about 1 year ago - Pushed: almost 13 years ago - Stars: 0 - Forks: 0

paulkoerbitz/tslint-auto-disable

Automatically insert disable comments for failing TSLint rules

Language: TypeScript - Size: 398 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 11 - Forks: 3

paulkoerbitz/linfa_odsc Fork of bytesnake/linfa_odsc

Presentation on Linfa

Size: 5.42 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

paulkoerbitz/linfa Fork of rust-ml/linfa

A Rust machine learning framework.

Language: Rust - Size: 1.3 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

paulkoerbitz/ndarray-linalg Fork of rust-ndarray/ndarray-linalg

Linear algebra package for rust-ndarray using LAPACK binding

Language: Rust - Size: 663 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

paulkoerbitz/idfXt

An Xmonad clone written in Idris

Language: Idris - Size: 97.7 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 3 - Forks: 0

paulkoerbitz/notable Fork of notable/notable

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

Size: 8.53 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

paulkoerbitz/git-pivot

A pivot table generator for git statistics

Language: Rust - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

paulkoerbitz/signet Fork of signetjs/signet

Signet type library

Language: JavaScript - Size: 702 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

paulkoerbitz/quill Fork of quilljs/quill

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

Language: JavaScript - Size: 12.4 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

paulkoerbitz/delta Fork of quilljs/delta

Language: JavaScript - Size: 230 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

paulkoerbitz/message-exercise Fork of juliano7s/message-exercise

Language: Java - Size: 11.7 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

paulkoerbitz/wasm-first-steps

Exploring Web Assembly with some hand-written functions

Language: JavaScript - Size: 39.1 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

paulkoerbitz/language-slice

Parsing and AST for ZeroC's Slice intermediate definition language (ice)

Language: Haskell - Size: 227 KB - Last synced: about 1 month ago - Pushed: almost 11 years ago - Stars: 1 - Forks: 1

paulkoerbitz/hsbci

A fast, modular and simple HBCI library for Haskell

Language: Haskell - Size: 797 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 3 - Forks: 2

paulkoerbitz/quox

The power of redux with the convenience of mobx

Size: 1000 Bytes - Last synced: 14 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

paulkoerbitz/orderbook

A simple orderbook written in Haskell

Language: Haskell - Size: 129 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 2 - Forks: 0

paulkoerbitz/TypeScript Fork of microsoft/TypeScript

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

Language: TypeScript - Size: 527 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

paulkoerbitz/paulkoerbitz.github.io

Language: HTML - Size: 1.5 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

paulkoerbitz/nixpkgs Fork of NixOS/nixpkgs

Nix Packages collection

Language: Nix - Size: 442 MB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

paulkoerbitz/Idris-dev Fork of idris-lang/Idris-dev

A Dependently Typed Functional Programming Language

Language: Haskell - Size: 32.1 MB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

paulkoerbitz/rpn-demo

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

Language: Haskell - Size: 133 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

paulkoerbitz/bivar

Bivariate pricing methods

Language: Haskell - Size: 109 KB - Last synced: about 1 year ago - Pushed: almost 12 years ago - Stars: 1 - Forks: 0

paulkoerbitz/jurenal

An experimental clojure blog for google app engine

Language: Clojure - Size: 113 KB - Last synced: about 1 year ago - Pushed: over 12 years ago - Stars: 0 - Forks: 0

paulkoerbitz/papers Fork of ocharles/papers

A Git annex repository of papers

Size: 195 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

paulkoerbitz/rbtree

Certified RedBlack trees in Idris

Language: Idris - Size: 105 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

paulkoerbitz/hbci4java Fork of willuhn/hbci4java

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

Language: Java - Size: 7.49 MB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

paulkoerbitz/X11

X11 bindings for Idris

Language: Idris - Size: 117 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

paulkoerbitz/slice-cpp-gen

C++ skeleton generation from slice files

Language: Haskell - Size: 172 KB - Last synced: 12 days ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0

paulkoerbitz/xmonad Fork of wouter-swierstra/xmonad

xmonad in Coq

Language: Coq - Size: 306 KB - Last synced: about 1 year ago - Pushed: almost 12 years ago - Stars: 0 - Forks: 0

paulkoerbitz/rust Fork of rust-lang/rust

a safe, concurrent, practical language

Language: Rust - Size: 86.8 MB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

paulkoerbitz/el-get Fork of dimitri/el-get

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

Language: Emacs Lisp - Size: 4.13 MB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

paulkoerbitz/sqlpp11 Fork of rbock/sqlpp11

A type safe SQL template library for C++

Language: C++ - Size: 459 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

paulkoerbitz/easy6502 Fork of skilldrick/easy6502

Language: JavaScript - Size: 153 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0

paulkoerbitz/slice-ice-gen

Slice file variable mangling

Size: 109 KB - Last synced: about 1 year ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0