Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 40 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
Natural deduction in Agda
Useful scripts to go in ~/bin (but they aren't binary)
Build a Jekyll blog in minutes, without touching the command line.
Foundations of a lot of my agda code
Implicational fragment of minimal logic in Agda
Compiles a slightly less unusable language
Finite sets in Agda
Generate a tikz diagram of a hierarchy, for use in reverse mathematics
Automata in Agda
A proof-assistant-using neural network formed using a genetic algorithm
Agda interaction in vim
Agda is a dependently typed programming language / interactive theorem prover.
Real numbers in agda
Google Drive synchronization for Linux
Library to provide shell utils to python, for use in shell scripts
Natural deduction tool
JSON Api Network Translator for Just Interacting Easily
Wrapper for youtube-dl for repeatedly archiving arbitrary searches
Batch rename television episode video files
A collection of very useful utilities for Python 3.
Latex template and makefile
Expressing (some of) the foundations of mathematics in python