finnlidbetter Goto Github PK

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

dramatiq

A fast and reliable background task processing library for Python 3.

dramatiq-abort

Dramatiq extension to abort message

gofs-lite

icpctools

The ICPC Tools - presentations, resolver, CDS, and others.

islobsterble

iOS application for the Slobsterble game.

opentraffic-datastore

OTv2: centralized ingest and aggregation of anonymous traffic data

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)

opentraffic-osmlr-tile-spec

OTv2: OSMLR is a specification for identifying parts of a road network based on OpenLR.

opentraffic-otv2-platform

An overview of the entire Open Traffic v2 platform and its components

opentraffic-reporter

OTv2: distributed service that matches raw GPS probe data to OSMLR segments and sends anonymized speeds to Datastore

opentraffic-traffic-engine

OTv1: OSM street extracts and GPS points go in. Anonymized OSM-linked speed samples come out.

problem-setting-tools

This repository contains tools to aid in developing problems for ICPC contests.

problemtools

Tools to manage problem packages using the Kattis problem package format.

silent-alarm

Attempt at creating a notification-triggered alarm app

slobsterble

Grid based crossword game

sturdy-numbers

Command line interface for timing algorithms related to sums of digits of multiples of natural numbers.

tickattack

zero2prod