tsani

Jacob Thomas Errington's starred repositories

the_silver_searcher

A code-searching tool similar to ack, but faster.

Language:CApache-2.026060 428 841

UniRx

Reactive Extensions for Unity

Language:C#MIT7066 376 413

reptyr

Reparent a running program to a new terminal

Language:CMIT5774 96 68

ForkHub

GitHub client for Android based on the abandoned official app

Language:JavaScriptApache-2.02784 49 331

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION2460 63 5480

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Language:CoqNOASSERTION952 57 517

ok

An open-source interpreter for the K5 programming language.

Language:JavaScriptMIT588 33 71

PG

This repo is the new home of Proof General

Language:Emacs LispGPL-3.0488 14 529

trezor-mcu

:lock: Don't use this repo, use the new monorepo instead:

Language:CLGPL-3.0317 63 202

learn-ocaml

A Web Application for Learning OCaml

Language:JavaScriptMIT301 16 252

bitlbee-facebook

Facebook protocol plugin for BitlBee

Language:CGPL-2.0279 30 183

Dedukti

Implementation of the λΠ-calculus modulo rewriting

Language:OCamlNOASSERTION196 17 139

itiriri

A library built for ES6 iteration protocol.

Language:TypeScriptMIT176 11 6

envy

:angry: Environmentally friendly environment variables

Language:HaskellNOASSERTION150 6 20

factorio

Factorio Planner

Language:OCamlMIT136 8 64

micro-ci

A tiny CI server built around GitHub and Nix

Language:HaskellBSD-3-Clause132 13 7

id3

ID3 mass tagger

Language:C++NOASSERTION117 10 30

twitter-avatar

Get twitter avatar from a username

Language:JavaScriptMIT90 3 1

github-webhooks

Haskell types and instances for decoding GitHub webhook payloads.

Language:HaskellMIT34 3 40

typelevel-prelude

Standard module for type-level programming in Haskell

Language:HaskellBSD-3-Clause31 8 1

cspogil

POGIL activities for computer science

Language:TeX23 7 19

wasm-agda

A typechecker for WebAssembly, written in Agda (WIP)

Language:Agda17 50

adjs

Higher-order FRP compiler

Language:OCamlGPL-3.014 40

pdfcli

pdfcli is a CLI tool for manipulating PDFS from the command line.

Language:PythonMIT13 2 5

opythn

A compiler and bytecode interpreter for a subset of Python

Language:OCamlMIT9 20

ibus

IBus client for GNU Emacs

Language:Emacs Lisp6 20

ALL_PCA_1000G

PCA for every single pair of populations in the 1000 Genomes Populations

Language:Shell3 20

printable

Converts a file in epub or mobi format into a 2-column pdf optimized for text density and readability

Language:TeX3 20

comp206-convolution

Image convolution in C and Python

Language:Python2 40

Typewriter

✍🏽 --> 📸

Language:Python1 3 2