Cover Image

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gilot, Andrea, Wrigstad, Tobias, Darulova, Eva
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verifying Floating-Point Programs in Stainless
by: Gilot, Andrea, et al.
Published: (2026)

On the GitHub Actions Language: Usage, Evolution, and Workflow Reliability
by: Bardsiri, Aref Talebzadeh, et al.
Published: (2026)

GitHub Proxy Server: A tool for supporting massive data collection on GitHub
by: Borges, Hudson Silva, et al.
Published: (2025)

Engineering Students' Usage and Perceptions of GitHub Copilot in Open-Source Projects
by: Rani, Neha, et al.
Published: (2026)

On the effectiveness of Large Language Models for GitHub Workflows
by: Zhang, Xinyu, et al.
Published: (2024)

On the Prevalence and Usage of Commit Signing on GitHub: A Longitudinal and Cross-Domain Study
by: Sharma, Anupam, et al.
Published: (2025)

HackRep: A Large-Scale Dataset of GitHub Hackathon Projects
by: Halmans, Sjoerd, et al.
Published: (2026)

Guidelines for Developing Bots for GitHub
by: Wessel, Mairieli, et al.
Published: (2022)

Prioritising GitHub Priority Labels
by: Caddy, James, et al.
Published: (2024)

"My GitHub Sponsors profile is live!" Investigating the Impact of Twitter/X Mentions on GitHub Sponsors
by: Fan, Youmei, et al.
Published: (2024)

An Empirical Study of the Evolution of GitHub Actions Workflows
by: Mazrae, Pooya Rostami, et al.
Published: (2026)

SWE-bench: Can Language Models Resolve Real-World GitHub Issues?
by: Jimenez, Carlos E., et al.
Published: (2023)

Immersion in the GitHub Universe: Scaling Coding Agents to Mastery
by: Zhao, Jiale, et al.
Published: (2026)

SWE-bench-java: A GitHub Issue Resolving Benchmark for Java
by: Zan, Daoguang, et al.
Published: (2024)

Where Is Self-admitted Code Generated by Large Language Models on GitHub?
by: Yu, Xiao, et al.
Published: (2024)

The Impact of Sanctions on GitHub Developers and Activities
by: Fan, Youmei, et al.
Published: (2024)

Fingerprinting AI Coding Agents on GitHub
by: Ghaleb, Taher A.
Published: (2026)

Explaining GitHub Actions Failures with Large Language Models: Challenges, Insights, and Limitations
by: Valenzuela-Toledo, Pablo, et al.
Published: (2025)

AIDev: Studying AI Coding Agents on GitHub
by: Li, Hao, et al.
Published: (2026)

The Landscape of Toxicity: An Empirical Investigation of Toxicity on GitHub
by: Sarker, Jaydeb, et al.
Published: (2025)

Chaos Engineering in the Wild: Findings from GitHub
by: Owotogbe, Joshua, et al.
Published: (2025)

Classifying Issues in Open-source GitHub Repositories
by: Raaj, Amir Hossain, et al.
Published: (2025)

Understanding and Predicting Derailment in Toxic Conversations on GitHub
by: Imran, Mia Mohammad, et al.
Published: (2025)

GitHub Marketplace for Automation and Innovation in Software Production
by: Saroar, SK Golam, et al.
Published: (2024)

Introducing Traceability in GitHub for Medical Software Development
by: Stirbu, Vlad, et al.
Published: (2021)

GitHub Actions: The Impact on the Pull Request Process
by: Wessel, Mairieli, et al.
Published: (2022)

Agentic Much? Adoption of Coding Agents on GitHub
by: Robbes, Romain, et al.
Published: (2026)

On the Use of Agentic Coding: An Empirical Study of Pull Requests on GitHub
by: Watanabe, Miku, et al.
Published: (2025)

Policy-driven Software Bill of Materials on GitHub: An Empirical Study
by: Novikov, Oleksii, et al.
Published: (2025)

An Empirical Study of Complexity, Heterogeneity, and Compliance of GitHub Actions Workflows
by: Abrokwah, Edward, et al.
Published: (2025)

An Empirical Study of ChatGPT-Related Projects and Their Issues on GitHub
by: Lin, Zheng, et al.
Published: (2024)

A Preliminary Study of Fixed Flaky Tests in Rust Projects on GitHub
by: Schroeder, Tom, et al.
Published: (2025)

Test Code Review in the Era of GitHub Actions: A Replication Study
by: Sun, Hui, et al.
Published: (2026)

To Type or Not to Type? A Systematic Comparison of the Software Quality of JavaScript and TypeScript Applications on GitHub
by: Bogner, Justus, et al.
Published: (2022)

Integrating Large Language Models in Software Engineering Education: A Pilot Study through GitHub Repositories Mining
by: Khan, Maryam, et al.
Published: (2025)

GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
by: Saavedra, Nuno, et al.
Published: (2023)

Exploring User Privacy Awareness on GitHub: An Empirical Study
by: Alfieri, Costanza, et al.
Published: (2024)

An Exploratory Study of Documentation Strategies for Product Features in Popular GitHub Projects
by: Puhlfürß, Tim, et al.
Published: (2022)

The Hidden Costs of Automation: An Empirical Study on GitHub Actions Workflow Maintenance
by: Valenzuela-Toledo, Pablo, et al.
Published: (2024)

What Makes a GitHub Issue Ready for Copilot?
by: Sayagh, Mohammed
Published: (2025)