Ben Toner's repositories
2048
A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)
AutoDefine
An add-on to Anki that auto-defines words, optionally adding pronunciation and images.
azure-scripts
scripts and cron jobs for Azure
mathlib
Lean mathematical components library
django-email-as-username
User authentication with email addresses instead of usernames.
django-floppyforms
Full control of form rendering in the templates.
dotfiles2
A dotfiles collection with a SysAdmin & DevOps focus
genanki
A Python 3 Library for Generating Anki Decks
gt-nlp-class
Course materials for Georgia Tech CS 4650 and 7650, "Natural Language"
hugo-theme-fuji
A minimal Hugo theme with nice theme color. | 一个主题色极简 Hugo 主题。
launchpad-mini
Node.js library for the Novation Launchpad Mini
lean
Lean Theorem Prover
lean-liquid
💧 Liquid Tensor Experiment
mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
python-postmark
Postmark library for Python 2.6 and greater
pytorch-transformers
👾 A library of state-of-the-art pretrained models for Natural Language Processing (NLP)
react-fullpage
Create Fullscreen Scrolling Websites
sample-dockerfile
⛵ App Platform sample Docker application.
toggl-cli
A simple command-line interface for toggl.com
toggl-python-api-client
Python-based REST client to interface with the Toggle API. Requires the 'requests' lib
togglwrapper
Python wrapper to easily interface with Toggl's API
violentmonkey
Violentmonkey provides userscripts support for browsers. It works on browsers with WebExtensions support.
Windows-10-Toast-Notifications
Python library to display Windows 10 Toast Notifications
wpf-notifyicon
NotifyIcon (aka system tray icon or taskbar icon) for the WPF platform