simedw/Pester
Powershell BDD style testing framework
Public GitHub Catalog
Discovered Sep 24, 2026
simedw / Solverine
Theorem prover using sequent calculus, generates pretty proof trees in latex
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.
#2361028GitHub System ID
simedwOrganization / User
PublicVisibility
ActiveCatalog Status
More from simedw
simedw/jacoco-plugin
Public repository.
simedw/ant-lock
File based mutex lock for ant
simedw/postbuildscript-plugin
Public repository.