lamestllama/LinePicking
Numerical code for geometric probability problems, in particular density functions for the "line picking" problem.
Public GitHub Catalog
Discovered Oct 20, 2026
lamestllama / monosat
MonoSAT - An SMT solver for Monotonic Theories
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.
#39919440GitHub System ID
lamestllamaOrganization / User
PublicVisibility
ActiveCatalog Status
More from lamestllama
lamestllama/conSERN
SERN graph generator
lamestllama/zoo_d3_vis
d3 visualisation for Topology Zoo
lamestllama/topologyzoo
Public repository.