FinnLidbetter
Senior software engineer on the Algorithms and Optimization team at RideCo. Competitive Programming enthusiast.
RideCoKitchener, Ontario, Canada
Pinned Repositories
dramatiq
A fast and reliable background task processing library for Python 3.
additiveNumberTheoryAutomata
Containing files and code relating to "Additive Number Theory via Approximation by Regular Languages" --- J.P. Bell, T.F. Lidbetter, J. Shallit.
aislobsterble
automata-power-series
avoiding-collinearity
Code and tests for determining an upper bound on the number of collinear points in an infinite walk on a finite set of vectors in Z^3.
AvoidingAdditiveSquares
Programs and data relating to the problem of the existence of a finite subset of the natural numbers for which there is an infinite word over this subset that avoids additive squares.
crifx
DatabaseMusicProject
islobsterble
iOS application for the Slobsterble game.
sturdy-numbers
Command line interface for timing algorithms related to sums of digits of multiples of natural numbers.
FinnLidbetter's Repositories
FinnLidbetter/crifx
FinnLidbetter/additiveNumberTheoryAutomata
Containing files and code relating to "Additive Number Theory via Approximation by Regular Languages" --- J.P. Bell, T.F. Lidbetter, J. Shallit.
FinnLidbetter/aislobsterble
FinnLidbetter/automata-power-series
FinnLidbetter/avoiding-collinearity
Code and tests for determining an upper bound on the number of collinear points in an infinite walk on a finite set of vectors in Z^3.
FinnLidbetter/AvoidingAdditiveSquares
Programs and data relating to the problem of the existence of a finite subset of the natural numbers for which there is an infinite word over this subset that avoids additive squares.
FinnLidbetter/DatabaseMusicProject
FinnLidbetter/islobsterble
iOS application for the Slobsterble game.
FinnLidbetter/slobsterble
Grid based crossword game
FinnLidbetter/sturdy-numbers
Command line interface for timing algorithms related to sums of digits of multiples of natural numbers.
FinnLidbetter/TickAttack
FinnLidbetter/dramatiq
A fast and reliable background task processing library for Python 3.
FinnLidbetter/dramatiq-abort
Dramatiq extension to abort message
FinnLidbetter/GOFS-lite
FinnLidbetter/icpctools
The ICPC Tools - presentations, resolver, CDS, and others.
FinnLidbetter/opentraffic-datastore
OTv2: centralized ingest and aggregation of anonymous traffic data
FinnLidbetter/opentraffic-osmlr
OTv2: application to generate and update OSMLR segments (for use by the Open Traffic platform and others needing a stable linear-referencing system)
FinnLidbetter/opentraffic-osmlr-tile-spec
OTv2: OSMLR is a specification for identifying parts of a road network based on OpenLR.
FinnLidbetter/opentraffic-otv2-platform
An overview of the entire Open Traffic v2 platform and its components
FinnLidbetter/opentraffic-reporter
OTv2: distributed service that matches raw GPS probe data to OSMLR segments and sends anonymized speeds to Datastore
FinnLidbetter/opentraffic-traffic-engine
OTv1: OSM street extracts and GPS points go in. Anonymized OSM-linked speed samples come out.
FinnLidbetter/problem-setting-tools
This repository contains tools to aid in developing problems for ICPC contests.
FinnLidbetter/problemtools
Tools to manage problem packages using the Kattis problem package format.
FinnLidbetter/silent-alarm
Attempt at creating a notification-triggered alarm app
FinnLidbetter/zero2prod