Projects in Awesome Lists by InnovativeInventor

Abusing Python’s type-checker (mypy) to construct a propositional, constructive logic proof checker via the Curry-Howard correspondence and the BHK interpretation of intuitionistic logic. (see blog post)

Last synced: 12 Jul 2025

https://github.com/innovativeinventor/homomorphic-encryption

[ALPHA] Basic algebraic operators encrypted with LWE utilizing GPU acceleration and ripple adders

Last synced: 18 Apr 2026

https://github.com/innovativeinventor/docker-haste

A secure container for running haste with docker or docker-compose

cors docker docker-compose hastebin

Last synced: 01 May 2026

https://github.com/innovativeinventor/trumptweet

Machine generated trump-like tweets

Last synced: 10 Jun 2026

https://github.com/innovativeinventor/dozenal-keyboard-layout

A keyboard layout for people who want to use base-12 (duodecimal/dozenal) system on a Mac

Last synced: 01 Aug 2025

https://github.com/innovativeinventor/choate-tweets

An archive of all of Choate's tweets (both official tweets and related tweets) in a dehydrated form

Last synced: 30 Jun 2025

https://github.com/innovativeinventor/constant-time-benchmark

Benchmarking various constant time algorithms to validate various implementations against side-channel attacks in Golang

golang security-audit side-channel timing-attacks

Last synced: 04 May 2026

https://github.com/innovativeinventor/queuebot

A smart autoscaling queueing service for archivebot for eventual upload to the Internet Archive's Wayback Machine (WBM). Currently focusing on automatic archival of missing political and governmental twitter accounts. Live on efnet/#archivebot.

Last synced: 19 Oct 2025

https://github.com/innovativeinventor/stop-and-frisk

Contains the data, graphs, and associated code for a non-comprehensive analysis of NYPD's "stop and frisk" policy in 2017

Last synced: 18 Jun 2026

https://github.com/innovativeinventor/trump-benford-law

Trump is a well-known liar. This repo is an analysis of numbers tweeted by Trump and Benford's law.

Last synced: 02 Mar 2026

https://github.com/innovativeinventor/presidents-day

Dataset, analysis, and predictions for Choate's President's day, an annual tradition by the Head of School to randomly cancel school.

Last synced: 15 May 2026

https://github.com/innovativeinventor/outcome-logic-coq

outcome logic, in coq

Last synced: 19 Jul 2025

https://github.com/innovativeinventor/email-scheduler

A dirt-simple email scheduler using MongoDB as a queue and SMTP on Serverless. Intended for COVID testing reminders/notifications.

Last synced: 15 May 2026

https://github.com/innovativeinventor/autoreach

Simplifying student life by reminding and automatically marking a student in REACH, simplifying Choate's nightly check-in process.

Last synced: 11 Jun 2026

https://github.com/innovativeinventor/precinct-matcher

Monadic election precinct matcher for gerrymandering data collection and research at MGGG.

Last synced: 11 Jun 2026

https://github.com/innovativeinventor/random-tournament-beacon

A secure randomness beacon utilizing the Bitcoin blockchain. Used to generate "nothing up my sleeve" seeds through cryptographic commitments and iterative hashing (as a time lock).

Last synced: 12 Jun 2026

https://github.com/innovativeinventor/ssh

A simple ssh container for docker

Last synced: 22 Jun 2025

https://github.com/innovativeinventor/openssl.vim

Security fixes and update to the no longer maintained openssl.vim (https://github.com/dperelman/openssl.vim)

Last synced: 12 Feb 2026

https://github.com/innovativeinventor/pylamport

A simple Python library for generating cryptographic Lamport signatures

cryptography identity signature

Last synced: 16 May 2026

https://github.com/innovativeinventor/balanced-edges

Exploration of balanced edge seams for ReCombination MCMC graph partitioning in computational redistricting

Last synced: 26 Feb 2025

https://github.com/innovativeinventor/bugs-reproduce

Open-source code to reproduce bugs I've encountered. Not intended for public consumption.

Last synced: 26 Feb 2025

https://github.com/innovativeinventor/automated-mggg-qa

Automated MGGG dataset quality checks against US Census, MEDSL, and OpenElections datasets.

Last synced: 18 Jun 2026

https://github.com/innovativeinventor/node-kayles

Pieces shouldn't kill each other!

Last synced: 27 May 2026

https://github.com/innovativeinventor/safepass

A python-based random password generator that uses only safe words.

kids password password-generator python school

Last synced: 01 Jul 2025

https://github.com/innovativeinventor/cgt

Calculating surreal numbers from combinatorial games

Last synced: 19 Nov 2025

https://github.com/innovativeinventor/securechecks

Security tools to lock down and prevent pwnage. Intended for personal use.

Last synced: 13 Jun 2026

https://github.com/innovativeinventor/mitmscrape

A tool to filter network resources of sites, with an emphasis on js-heavy sites using mitmproxy and selenium. Mostly used to scrape Secretaries of State websites for raw election data.

Last synced: 26 Feb 2025

https://github.com/innovativeinventor/geocompose

[WIP] A library for representing geographical regions as a set of addresses. In this representation, all electorial geographies are composed of Voronoi cells. Intended for use in redistricting. In particular, calculating precinct stability on messy data.

Last synced: 11 Jun 2025

https://github.com/innovativeinventor/clanvas

A unified system to cross-post homework assignments between Google Classroom and Canvas

Last synced: 14 Jun 2025

https://github.com/innovativeinventor/boxes

A repository containing all the boxes for monobox

Last synced: 05 Feb 2026

https://github.com/innovativeinventor/innovativeinventor

My GitHub profile.

Last synced: 28 Jan 2026

https://github.com/innovativeinventor/monobox-example

An example monobox project

Last synced: 28 Jan 2026

https://github.com/innovativeinventor/reportr

COVID-19 Rules Reporting App for CRH. Make snitching easier. Written at the request of Choate faculty, but never deployed.

Last synced: 10 Feb 2026

https://github.com/innovativeinventor/hscalc

Various implementations of a command-line calculator in Haskell (with monadic parsing, functors, combinators, and lambda expressions!)

Last synced: 16 Apr 2026

https://github.com/innovativeinventor/status-page

A manual, static status page powered by Amazon's S3 service

Last synced: 04 Mar 2026

https://github.com/innovativeinventor/vtd-migration

Dirty scripts for migrating election data onto 2020 U.S. Census Voting Tabulated Districts (VTDs) for @mggg-states. Live at https://districtr.org.

Last synced: 04 Jun 2026

https://github.com/innovativeinventor/shapefiles

Super messy repo of some random tools for election data collections. Deprecated.

Last synced: 09 Jun 2026

https://github.com/innovativeinventor/chain-runs

[very messy] Analysis of proposed and enacted districting plans. Unix philosophy applied to redistricting analysis.

Last synced: 09 Jun 2026

https://github.com/innovativeinventor/interferometry

The code and associated data for automated interferometry analysis for class

Last synced: 07 Jul 2025

https://github.com/innovativeinventor/mongoset

Pythonic wrapper around pymongo that can act as a drop-in replacement for dataset. Built-in ORM support.

Last synced: 10 May 2026

https://github.com/innovativeinventor/picoctf2018-scoreboard-dump

PicoCTF 2018 Scoreboard

Last synced: 13 May 2026

https://github.com/innovativeinventor/mo-explore

Missouri election data processing notebook for @mggg

Last synced: 13 Jun 2026

https://github.com/innovativeinventor/golhs

Arbitrary cellular automata, in Haskell. Featuring the Game of Life and some cool recursion

haskell

Last synced: 17 Jun 2026

https://github.com/innovativeinventor/census-process

Processing pipeline for PL-94 U.S. Census redistricting data @mggg. Live at https://districtr.org

Last synced: 09 Jun 2026

https://github.com/innovativeinventor/groups

Representing groups as systems of rewrite rules and calculating various properties thereof

Last synced: 15 May 2026

https://github.com/innovativeinventor/tree-logics

[WIP] Formally verified, shallow embeddings of various tree logics, in Coq, along with some consistency, completeness, and soundness proofs. For funsies.

Last synced: 15 May 2026