Pinned Repositories
bigmc
The BigMC Bigraphical Analysis Tool
bigraph_generator
A simple tool for generating textual representation of bigraphs acceptable by Bigraph library.
bigsharp
F# implementation of a subset of bigraphical operations
conf-nauty
Virtual package relying on libnauty
onauty
OCaml bindings to nauty
trs
An OCaml library for bigraphical Tracking Reactive Systems
trs-ssp
trs-ssp-bridge
trs-ssp-frontend
trs-ssp-verif
zajer's Repositories
zajer/onauty
OCaml bindings to nauty
zajer/trs-ssp
zajer/trs-ssp-bridge
zajer/trs-ssp-verif
zajer/bigmc
The BigMC Bigraphical Analysis Tool
zajer/bigraph_generator
A simple tool for generating textual representation of bigraphs acceptable by Bigraph library.
zajer/bigsharp
F# implementation of a subset of bigraphical operations
zajer/conf-nauty
Virtual package relying on libnauty
zajer/csnauty
C# bindings to nauty
zajer/trs
An OCaml library for bigraphical Tracking Reactive Systems
zajer/trs-ssp-frontend
zajer/HibernateQuick-Dirty
Przykład konfiguracji i użycia hibernate-a
zajer/ipi
zajer/JEE-LAB1-19
zajer/JEE-LAB2
Demonstracja działania serwletów z L2
zajer/JEE-LAB2-19
Demo do drugich zajęć z technologii JEE.
zajer/jee-lab2-przyklady
zajer/JEE-LAB3
zajer/JEE-LAB4
zajer/memory_leak
zajer/netgraph
A C# library providing a subset of igraph functionality.
zajer/protelis-workbench
Some Protelis programs hosted on Alchemist Simulator
zajer/schvis
A visualizer of schedules of actions
zajer/trs-benchmark
zajer/trs-policy-demo