https://github.com/jcp19/verified_go_stdlib
Verification of parts of the Go Standard Library
https://github.com/jcp19/verified_go_stdlib
Last synced: 4 months ago
JSON representation
Verification of parts of the Go Standard Library
- Host: GitHub
- URL: https://github.com/jcp19/verified_go_stdlib
- Owner: viperproject
- License: bsd-3-clause
- Created: 2022-09-23T15:11:14.000Z (over 3 years ago)
- Default Branch: master
- Last Pushed: 2025-01-07T21:44:34.000Z (over 1 year ago)
- Last Synced: 2025-01-19T15:51:58.002Z (over 1 year ago)
- Language: Go
- Homepage:
- Size: 300 MB
- Stars: 1
- Watchers: 2
- Forks: 1
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Code of conduct: .github/CODE_OF_CONDUCT.md
- Security: SECURITY.md
- Support: .github/SUPPORT.md
Awesome Lists containing this project
README
# The Go Programming Language
Go is an open source programming language that makes it easy to build simple,
reliable, and efficient software.
*Gopher image by [Renee French][rf], licensed under [Creative Commons 3.0 Attributions license][cc3-by].*
Our canonical Git repository is located at https://go.googlesource.com/go.
There is a mirror of the repository at https://github.com/golang/go.
Unless otherwise noted, the Go source files are distributed under the
BSD-style license found in the LICENSE file.
### Download and Install
#### Binary Distributions
Official binary distributions are available at https://go.dev/dl/.
After downloading a binary release, visit https://go.dev/doc/install
for installation instructions.
#### Install From Source
If a binary distribution is not available for your combination of
operating system and architecture, visit
https://go.dev/doc/install/source
for source installation instructions.
### Contributing
Go is the work of thousands of contributors. We appreciate your help!
To contribute, please read the contribution guidelines at https://go.dev/doc/contribute.
Note that the Go project uses the issue tracker for bug reports and
proposals only. See https://go.dev/wiki/Questions for a list of
places to ask questions about the Go language.
[rf]: https://reneefrench.blogspot.com/
[cc3-by]: https://creativecommons.org/licenses/by/3.0/