proxy.golang.org namespaces: github.com/dalzilio
View the packages within the github.com/dalzilio namespace on the proxy.golang.org package registry, including their maintainers and dependencies.
Top 8.2% on proxy.golang.org
7 versions - Latest release: 3 months ago - 6 stars on GitHub
github.com/dalzilio/nets v1.4.4
Package nets defines a concrete type for Time Petri Nets and provides a Parser for building Nets ...7 versions - Latest release: 3 months ago - 6 stars on GitHub
Top 6.5% on proxy.golang.org
1 version - Latest release: almost 4 years ago - 12 dependent packages - 10 dependent repositories - 4 stars on GitHub
github.com/dalzilio/rudd v1.1.0
Package rudd defines a concrete type for Binary Decision Diagrams (BDD), a data structure used to...1 version - Latest release: almost 4 years ago - 12 dependent packages - 10 dependent repositories - 4 stars on GitHub
Top 8.2% on proxy.golang.org
3 versions - Latest release: about 5 years ago - 7 stars on GitHub
github.com/dalzilio/mcc v1.6.0
High-Level Nets Blaster for the Model-Checking Contest3 versions - Latest release: about 5 years ago - 7 stars on GitHub
Top 9.6% on proxy.golang.org
1 version - Latest release: about 2 years ago - 2 stars on GitHub
github.com/dalzilio/hue v0.8.0
A random walk explorer for colored Petri nets1 version - Latest release: about 2 years ago - 2 stars on GitHub