@hackage / titan

Testing Infrastructure for Temporal AbstractioNs - GUI to debug temporal programs

Latest1.0.2

Dependencies

executable:titan (18 dependencies)

@hackage / gtk Binding to the Gtk+ graphical user interface library.
- Version:
- License: LGPL-2.1-only
@hackage / keera-hails-mvc-solutions-gtk Haskell on Gtk rails - Solutions to recurrent problems in Gtk applications
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / keera-hails-mvc-view Haskell on Gtk rails - Generic View for MVC applications
- Version:
- License: BSD-3-Clause
@hackage / keera-hails-reactive-polling Haskell on Rails - Polling based Readable RVs
- Version:
- License: BSD-3-Clause
@hackage / keera-hails-mvc-view-gtk Haskell on Gtk rails - Gtk-based View for MVC applications
- Version:
- License: BSD-3-Clause
@hackage / keera-hails-mvc-environment-gtk Haskell on Gtk rails - Gtk-based global environment for MVC applications
- Version:
- License: BSD-3-Clause
@hackage / network Low-level networking interface
- Version:
- License: BSD-3-Clause
@hackage / keera-hails-mvc-model-protectedmodel Rapid Gtk Application Development - Protected Reactive Models
- Version:
- License: BSD-3-Clause
@hackage / keera-hails-mvc-controller Haskell on Gtk rails - Gtk-based controller for MVC applications
- Version:
- License: BSD-3-Clause
@hackage / keera-hails-reactivevalues Haskell on Rails - Reactive Values
- Version:
- License: BSD-3-Clause
@hackage / template-haskell Support library for Template Haskell
- Version:
- License: BSD-3-Clause
@hackage / keera-hails-reactive-gtk Haskell on Gtk rails - Reactive Fields for Gtk widgets
- Version:
- License: BSD-3-Clause
@hackage / IfElse Anaphoric and miscellaneous useful control-flow
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <4.13
- License: BSD-3-Clause
@hackage / network-bsd POSIX network database (<netdb.h>) API
- Version:
- License: BSD-3-Clause
@hackage / cairo Binding to the Cairo library.
- Version:
- License: BSD-3-Clause
@hackage / glib Binding to the GLIB library for Gtk2Hs.
- Version:
- License: LGPL-2.1-only

test:haddock-coverage (5 dependencies)

test:hlint (2 dependencies)