Smart pointers for the (GNU) C programming language
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Zero-dependency Go implementation of the Unix getopt function, tested against GNU libc.
- cli
- getopt
- gnu
- go