Tommy M. McGuire's repositories
frama-c-toys
Frama-C Experiments
pony-more-collections
More data structures for Pony (http://ponylang.org)
Fletcher_Pratt_NWG
Summary of the rules for the Fletcher Pratt Naval Wargame
Meditations
The Meditations of the Emperor Marcus Aurelius Antonius Formatted
AOC-2020
Advent of Code 2020
ashurbanipal-express
Node.js/Express version of the Ashurbanipal data server
c-semantic-version
Semantic Versioning 2.0.0 library for C
calliope-js
Simple, generic database interface
Consolation-of-Philosophy
The Consolation of Philosophy by Boethius Translated by H.R. James
credit_scroll
Use moviepy to create scrolling video credits
dafny-rosettacode
Dafny implementations of Rosetta Code problems.
dice_probabilities
Compute the probability of rolling p on n s-sided dice
django-allauth
Integrated set of Django applications addressing authentication, registration, account management as well as 3rd party (social) account authentication.
graph_distribution
Given a sequence of data values, graph it as a histogram and draw corresponding random distributions on it.
mockingbird-sql
SQL statement builder
motion-canvas
Visualize Complex Ideas Programmatically
node-data-structure-diff
Diff (and patch) for arbitrary tree data structures.
ponylang-mode
An Emacs mode for editing Pony code.
Projects
:page_with_curl: A list of practical projects that anyone can solve in any programming language.
propertiesSync
Synchronous parsing and manipulating .properties files
Some-Principles-of-Maritime-Strategy
Some Principles of Maritime Strategy by Julian Corbett
The-Napoleonic-Wars-2e
Probabilities discussion from BGG
zebra
The Zebra puzzle