Published April 19, 2025 | Version v2
Software Open

librvg: C Library for Random Variate Generation with Formal Guarantees

Authors/Creators

  • 1. ROR icon Carnegie Mellon University

Contributors

Contact person:

  • 1. ROR icon Carnegie Mellon University

Description

librvg is an open-source C library for generating random variables. It is released under the Apache-2.0 License.

The methods implemented in librvg are described in the following publication.

Random Variate Generation with Formal Guarantees. Feras Saad and Wonyeol Lee. Proceedings of the ACM on Programming Languages 9, PLDI, Article 152. 2025.

The tarball contains

  • Source code of the library.
  • Overview of the purpose of the software and how to use it (readme.html).
  • Documentation of the application programming interface (api.html).
  • Experimental pipeline to reproduce experimental results in the paper.

For the latest version, please visit https://github.com/probsys/librvg

Files

Files (965.5 kB)

Name Size Download all
md5:dcc42f36ec9ba9d6b51859fda6e199ff
965.5 kB Download

Additional details

Related works

Is described by
Journal article: 10.1145/3729251 (DOI)

Funding

U.S. National Science Foundation
SHF: Medium: Language Support for Sound and Efficient Programmable Inference 2311983

Software

Repository URL
https://github.com/probsys/librvg
Programming language
C