Discover @tsani Open Source projects

Jacob Thomas Errington (@tsani)

tsani

Stars
186
Global Rank 130,350 (Top 5 %)
Followers 98
Following 20
Registered over 13 years ago
Most used languages

Haskell
50.0 %

OCaml
7.1 %

TeX
7.1 %

C++
7.1 %

Python
7.1 %

TypeScript
7.1 %

C
3.6 %

Idris 3.6 %

GDB 3.6 %

Java
3.6 %
Location 🇨🇦 Canada
Country Total Rank 3,946
Country Ranking

GDB 1

Idris 3

OCaml
11

Haskell
38

TeX
222

C
380

C++
2,348

TypeScript
3,487

Java
4,376

Python
4,410

tetrefis

Tetris as an EFI application

jerrington.me

Blog & personal website

comp-302-review

Review problems for COMP 302

servant-github-webhook

Servant combinators for writing secure GitHub webhooks

eval

An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.

typarsec

Type-level parser combinators

dotfiles

Collected dotfiles and other scripts.

hacksignal

Hackathon mentor dispatching platform as a service.

vtikz

TikZ framework for typesetting videos

reproducible

Wrapper script to ensure the reproducibility of data-oriented scripts.

tpb

"tsani's pushbullet client"

ed-zero-hooker

Text hooker for Zero no Kiseki

apollo

HTTP MPD integration for Labcoders Radio

fancylojban

Lojban the dependently typed functional programming language

game2048-hs

A clone of 2048 written in Haskell with an AI to play it.

servant-otoke

Token authentication with Servant

gol3d

Three-dimensional cellular automata explorer and utilities.

pushbullet-hs

Pushbullet types and API client in Haskell

p3s

A sound synthesis library in Haskell

chrona

Chrona is a high-level functional reactive programming language

game-clones-cpp

Clones of various games in C++.

school-build

A simple make-based continuous integration server in Haskell

apollo-extension

Browser extension for Apollo

fuckdown2

A just-in-time brainfuck compiler

projecteuler-haskell

Solutions to Project Euler problems written in Haskell as practice

cv

lcr

Listen to http://radio.labcoders.club

blockchain-conduit

Haskell bindings for the Blockchain.info API