logisim is a fully modularized logic circuit simulator for unix-compatible systems. It supports a lot of different graphic outputs and can simulate a lot of different gate types. Additionally it can be extended easily by simply adding new gate modules.
Great project! We are actively developing a fork of this project under the name "logisim-evolution", with tons of additional features. You can find it on GitHUB. Any help from the community is welcome!