supporting-project

An R package that simulates how a disease spreads through a population. It compares compartment and agent based models.

An Ada library that adds Reed-Solomon error correction to byte blocks. It shows how the codes recover data after damage.

A staff rostering solver written in Scala. It reads staff, shifts, and rules from CSV files. It builds a schedule with simulated annealing and scores hard and soft constraints. It writes the final roster as CSV and as a printable HTML report. A bundl

A database learning tool that turns query plans into interactive trees and explains common scan, join, sort, and index decisions.

A GTK desktop program that applies filters to images. You can chain filters and see the result at once.

A Racket desktop program that turns a regular expression into a finite automaton. It shows the states and animates each match step.

A C library that compresses and decompresses byte streams. It uses a match finder and Huffman coding, similar to DEFLATE.

An offline map renderer written in Kotlin. It parses a bundled OpenStreetMap extract and applies a plain-text style sheet. It draws roads, water, buildings, and labels to PNG and SVG images. The renderer works fully offline and does not use tile serv

A Scheme program that checks proofs in propositional logic. It uses natural deduction rules and gives feedback at each step.

A calm offline habit experiment app that helps a user test routines without accounts, streak pressure, notifications, or remote analytics.

A CI-oriented tool that compares accessibility scans between two builds and blocks only newly introduced, evidence-backed regressions.

A CDCL SAT solver written in OCaml. The solver reads standard DIMACS CNF files and applies watched literals, clause learning, and restarts. A Sudoku encoder turns puzzles into CNF as a demo. The test suite checks every reported model with an independ

A Pharo Smalltalk environment for turtle graphics. You write short scripts and watch the turtle draw at once.

A morphological analyzer written in SWI-Prolog. Rule sets describe how word forms inflect in English and Spanish. The engine runs in two directions: it analyzes a word form into a lemma with features, and it generates all forms of a lemma. The lexico

An explainable anomaly-detection workbench for small time-series datasets with reproducible experiments and a browser-based report.

A Standard ML engine that infers types for a small functional language. It shows how each type is worked out.

A production-quality TypeScript CLI that audits public-transit GTFS feeds for wheelchair-accessibility coverage, data quality, and actionable route-level gaps.

A Perl library that merges two changed versions of a text file against a common base. It marks conflicts clearly.

A Nim library that reads DNA and RNA sequence files and reports composition statistics. It computes GC content, k-mer counts, and codon usage tables.

A Fortran library that predicts tide heights from harmonic constituents. It builds a tide table for one station and time range.