yzhs/frobenius-test
An implementation of Jon Grantham's Randomized Quadratic Frobenius Test written in C using GMP.
Public GitHub Catalog
Discovered Sep 25, 2026
yzhs / tp
A formalisation of the small step semantics of a very simple subset of OCaml along with some proofs about it.
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.
#4780347GitHub System ID
yzhsOrganization / User
PublicVisibility
ActiveCatalog Status
More from yzhs
yzhs/ocamlllvm
A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries produced by this compiler are in no way compatible with binaries produced by ocamlopt.
yzhs/alvis
A tool for algorithm visualisation