PolarNick239/FiniteStateMachine
IFMO discrete mathematics lab work about minimization of finite state machine and so on.
Public GitHub Catalog
Discovered Sep 29, 2026
PolarNick239 / MathLogic
Some programs for checking mathematical logic proofs, automatically proof statements and so on.
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.
#15871467GitHub System ID
PolarNick239Organization / User
PublicVisibility
ActiveCatalog Status
More from PolarNick239
PolarNick239/IndexedTextSearch
Indexed search of words in files. With taking into account morphology (english and russian).
PolarNick239/ComputationVision
Public repository.
PolarNick239/Quines
Simple java quines