DanielSchuessler/logic-TPTP
Import, export etc. for TPTP, a syntax for first-order logic
Public GitHub Catalog
Discovered Oct 1, 2026
DanielSchuessler / fast-math
Play fast and loose with IEEE-754 rewrite RULES
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.
#20416527GitHub System ID
DanielSchuesslerOrganization / User
PublicVisibility
ActiveCatalog Status
More from DanielSchuessler
DanielSchuessler/safe
Haskell library for safe (pattern match free) functions
DanielSchuessler/Sprache
Tiny C# Monadic Parser Framework
DanielSchuessler/accelerate
Embedded language for high-performance array computations