ConnectIQ app for processing Garmin Varia radar data and counting vehicles.

the online GPX file editor

GeoJson for all the countries, areas (regions) and some states.

virtualenv like tool for Racket

Hexagonal hierarchical geospatial indexing system

A free and open-source alternative to Google Elevation API. Host your own! https://open-elevation.com

Mirror of Racket glossary

The online GPX file editor

A Falling Block video game

A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

A data visualization library for Racket.

Command line tool to edit resources of exe

A language for producing art

Training Diary

Calculate CdA (Coefficient of Drag) and crr (tire rolling resistance) based on field testing data in the form of Garmin or compatible .FIT files.

gamedev blog

Client libraries for the APIs of various Git forges

Scalar: A set of tools and extensions for Git to allow very large monorepos to run on Git without a virtualization layer

Single Lead ECG signal Acquisition and Arrhythmia Classification using Deep Learning

Download and parse data from Garmin Connect or a Garmin watch, FitBit CSV, and MS Health CSV files into and analyze data in Sqlite serverless databases with Jupyter notebooks.

Emacs builds for continuous integration

Archived, see https://github.com/unicode-org/cldr-json

The home of the Unicode Common Locale Data Repository

A shell script that prints out pretty git branch sync status reports

A Web View for Racket GUI Toolkit

Barometric pressure, temperature, humidity and light sensing weather shield for Arduino.

Jeff Dean's latency numbers plotted over time