Tener/PD-classes
Simple game library for Android
Public GitHub Catalog
Discovered Sep 25, 2026
Tener / sbv
Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers. Automatically generate straight-line C programs from symbolic Haskell functions.
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.
#2990723GitHub System ID
TenerOrganization / User
PublicVisibility
ActiveCatalog Status
More from Tener
Tener/pixel-dungeon
Traditional roguelike game with pixel-art graphics and simple interface
Tener/network
Low-level networking interface
Tener/cogl-android-sdk
Scripts for building an Android SDK for developing with Cogl