ramsdell/cmu
Unification in a Commutative Monoid
Public GitHub Catalog
Discovered Sep 27, 2026
ramsdell / saa
Streets and Alleys Solitaire
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#8782551GitHub System ID
ramsdellOrganization / User
PublicVisibility
ActiveCatalog Status
More from ramsdell
ramsdell/agum
Unification and Matching in an Abelian Group
ramsdell/ocaml-datalog
This package contains a lightweight deductive database system in OCaml
ramsdell/gtksudoku
GTK Sudoku eliminates much of the drudgery of solving a Sudoku puzzle and provides educational tips should the path to the solution become obscured.