4543 results for “public profile”
Formally verified polygon intersection. Contribute to schildep/verified-polygon-intersection development by creating an account on GitHub.
A scriptable, extensible performance tool for sorted key value stores. - Pull requests · guycipher/keybench
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
Exact rational and computable real arithmetic for Rust. - Pull requests · timschmidt/hyperreal
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
Arbitrary precision floating point numbers library - Pull requests · stencillogic/astro-float
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
Explore our comprehensive glossary filled with key terms and definitions in Machine Learning and MLOps. This resource is perfect for beginners and experts alike, providing clear and concise explanations of essential concepts, techniques, an
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
Explore the GitHub Discussions forum for timschmidt hyperreal. Discuss code, ask questions & collaborate with the developer community.
Mechanistic experiments on how LLMs represent and compute arithmetic internally, with strict no-parser controls, reproducible audits, and an interactive article. - Issues · videlalvaro/llm-arithmetic-internals
Formally verified polygon intersection. Contribute to schildep/verified-polygon-intersection development by creating an account on GitHub.
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
Mechanistic experiments on how LLMs represent and compute arithmetic internally, with strict no-parser controls, reproducible audits, and an interactive article. - Projects · videlalvaro/llm-arithmetic-internals
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
Mechanistic experiments on how LLMs represent and compute arithmetic internally, with strict no-parser controls, reproducible audits, and an interactive article. - Pulse · videlalvaro/llm-arithmetic-internals
Formally verified polygon intersection. Contribute to schildep/verified-polygon-intersection development by creating an account on GitHub.
A scriptable, extensible performance tool for sorted key value stores. - Pulse · guycipher/keybench
Add a site to JM Search
JM Search crawls a curated set of sites. Submit one — an admin approves it, then it gets crawled.
Log in to submit a site.
Site owner? About JMSearchBot