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
An Ada library that adds Reed-Solomon error correction to byte blocks. It shows how the codes recover data after damage.
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 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
A database learning tool that turns query plans into interactive trees and explains common scan, join, sort, and index decisions.
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 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 Scheme program that checks proofs in propositional logic. It uses natural deduction rules and gives feedback at each step.
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 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 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 C library that compresses and decompresses byte streams. It uses a match finder and Huffman coding, similar to DEFLATE.
A calm offline habit experiment app that helps a user test routines without accounts, streak pressure, notifications, or remote analytics.
A Standard ML engine that infers types for a small functional language. It shows how each type is worked out.
To associate your repository with the supporting-project topic, visit your repo's landing page and select "manage topics."