daniel-j-h/avx-playground
Learning AVX/AVX2/FMA vectorization. Abstractions for Vec8Float, Vec8Int in C++14.
Public GitHub Catalog
Discovered Oct 6, 2026
daniel-j-h / z3
The Z3 Theorem Prover
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.
#33368777GitHub System ID
daniel-j-hOrganization / User
PublicVisibility
ActiveCatalog Status
More from daniel-j-h
daniel-j-h/KirbyTerm
Because why not.
daniel-j-h/x86-64-asm
x86-64 asm (gnu/linux) playground: intrinsics, syscalls, non-null opcode encoding and more
daniel-j-h/DistributedSearch
Distributed search engine in C++14, using nanomsg for communication, bond for serialization.