Stars
An open source, self-hosted implementation of the Tailscale control server
A compiler and bytecode interpreter for a subset of Python
Get twitter avatar from a username
A library built for ES6 iteration protocol.
pdfcli is a CLI tool for manipulating PDFS from the command line.
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Standard module for type-level programming in Haskell
A typechecker for WebAssembly, written in Agda (WIP)
Agda is a dependently typed programming language / interactive theorem prover.
Implementation of the λΠ-calculus modulo rewriting
GitHub client for Android based on the abandoned official app
🔒 Don't use this repo, use the new monorepo instead:
Haskell types and instances for decoding GitHub webhook payloads.
Converts a file in epub or mobi format into a 2-column pdf optimized for text density and readability
An open-source interpreter for the K5 programming language.
PCA for every single pair of populations in the 1000 Genomes Populations
A code-searching tool similar to ack, but faster.