feliam/pysmtlib
A python layer to interface with several SMTLIBv2 enabled SMT solvers
Public GitHub Catalog
Discovered Oct 6, 2026
feliam / emscripten
Emscripten: An LLVM-to-JavaScript Compiler
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.
#32525258GitHub System ID
feliamOrganization / User
PublicVisibility
ActiveCatalog Status
More from feliam
feliam/CVE-2014-4481
Apple CoreGraphics framework fails to validate the input when parsing CCITT group 3 encoded data resulting in a heap overflow condition. A small heap memory allocation can be overflowed with controlled data from the input resulting in arbitrary code execution in the context of Mobile Safari.
feliam/OSXImageLoader
A small C program to exercise the core OSX image parsers
feliam/CVE-2014-4377-Fix
CydiaSubstrate-based fix for CVE-2014-4377.