supporting-project

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

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

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 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.

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.

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 Clojure library that learns to solve grid worlds. It uses tabular Q-learning and SARSA.

A font inspection toolkit written in Swift. It parses TrueType binary tables, extracts glyph outlines, and reports font metrics. It renders SVG specimen sheets that show the alphabet, sample text, and metric lines. A bundled open-license font support

A focused interface for capturing engineering requirements, checking units and constraints, and handing a structured design brief to EngineerKit tools.

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

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

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

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

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