bolt64 Goto Github PK

android_sl4a

A collection of various useful android scripts

blog-source

The markdown files that generate my blog and website

bolt64.github.io

dotfiles-stowed

Collection of dotfiles

emacs-dashboard

An extensible emacs dashboard

emacs-dependencies

Auxiliary repository to store emacs packages required by Lean Emacs mode

kvpy-2016-algebra

A repository containing all the work I do on my algebra project in the summer of 2016

kvpy-2016-fourier-analysis

A repository containing notes of all the fourier analysis I do in the summer of 2016

kvpy_report_2015

A modified report just for the mathematics

lean2

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

lean2-aur

A static copy of version 2 of Lean Theorem Prover for install on Arch Linux

pokemongoassistant

A Pokemon Go assistant that uses the unofficial API

pravega-trading-framework

protanneal

provingground

Proving Ground: Tools for Automated Mathematics

proxy_switcher

An automated proxy switcher for Ubuntu and other GNOME based distros

remacs

Rust :heart: Emacs

sdes

Simplified Data Encryption Standard

sheller

A Unix shell written in Rust

summer2017

A summary of the math I do in summer of 2017

tikzcd-editor

A simple visual editor for creating commutative diagrams.

twitter_ip_bot

This bot specifically monitors your public ip address every few minutes, and if changed, posts the new ip address on twitter

wyas

Write Yourself a Scheme