proxy.golang.org namespaces: github.com/irifrance
View the packages within the github.com/irifrance namespace on the proxy.golang.org package registry, including their maintainers and dependencies.
Top 8.2% on proxy.golang.org
4 versions - Latest release: about 4 years ago
github.com/irifrance/reach v0.1.3
Package reach contains finite state symbolic reachability libraries and tools. All reachability ...4 versions - Latest release: about 4 years ago
Top 8.2% on proxy.golang.org
4 versions - Latest release: over 7 years ago - 5 stars on GitHub
github.com/irifrance/dbc v0.7.0
Package dbc provides a compressor of bit sequences with probabilities dynamically specifiable for...4 versions - Latest release: over 7 years ago - 5 stars on GitHub
Top 9.5% on proxy.golang.org
22 versions - Latest release: over 6 years ago - 14 dependent packages - 82 dependent repositories - 0 stars on GitHub
github.com/irifrance/gini v1.0.1
Package gini provides a fast SAT solver. Package gini contains both libraries and commands. The...22 versions - Latest release: over 6 years ago - 14 dependent packages - 82 dependent repositories - 0 stars on GitHub
Top 8.2% on proxy.golang.org
16 versions - Latest release: over 7 years ago - 13 stars on GitHub
github.com/irifrance/bb v0.8.3
Package bb provides bit buffers and bit buffered io.16 versions - Latest release: over 7 years ago - 13 stars on GitHub
Top 8.2% on proxy.golang.org
1 version - Latest release: over 7 years ago - 7 stars on GitHub
github.com/irifrance/fx v0.1.0
Package fx provides binary fixed point numbers based on int64s. The fixed point numbers support ...1 version - Latest release: over 7 years ago - 7 stars on GitHub