7756 results for “Drop your files anywhere”
Formally verified polygon intersection. Contribute to schildep/verified-polygon-intersection development by creating an account on GitHub.
Mechanistic experiments on how LLMs represent and compute arithmetic internally, with strict no-parser controls, reproducible audits, and an interactive article. - Pull requests · videlalvaro/llm-arithmetic-internals
A scriptable, extensible performance tool for sorted key value stores. - Issues · guycipher/keybench
Exact rational and computable real arithmetic for Rust. - Issues · timschmidt/hyperreal
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
Arbitrary precision floating point numbers library - Issues · stencillogic/astro-float
Litmaps is a literature discovery and management tool that enables universities, organizations and institutions to support their staff and students better.
Explore our update on GitHub’s accessibility strategy, and learn how you can join us in building a culture of accessibility.
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.
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.
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