psmolenski/rs-proof
Testing logic formulas, using Rasiowa-Sikorski decinoisition tree
Public GitHub Catalog
Discovered Sep 27, 2026
psmolenski / slidepane
Public repository discovered through GitHub real-time crawl.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#9495659GitHub System ID
psmolenskiOrganization / User
PublicVisibility
ActiveCatalog Status
More from psmolenski
psmolenski/WeakMap
Shim for ES6 WeakMap
psmolenski/JSON-Patch
Lean and mean Javascript implementation of the JSON-Patch standard. Update JSON documents using delta patches.
psmolenski/PuppetJs
Binds Web Components or AngularJs to server side view models using JSON-Patch