snim2/RAEng
Contains the NAS benchmark by NASA in python and C. Also contains a python Library which allows epiphany functions to be called to the python Library
Public GitHub Catalog
Discovered Sep 24, 2026
snim2 / tautology-checker
Simple tautology checker for propositional calculus
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.
#650645GitHub System ID
snim2Organization / User
PublicVisibility
ActiveCatalog Status
More from snim2
snim2/pyfd
Python for fluid dynamics problems - set of support scripts.
snim2/PyConUKSociety
Constitution, AGM agendas and minutes for the PyCon UK Society
snim2/eco
Editor for language composition