Explore GitLab

Discover projects, groups and snippets. Share your projects with others


  • 0
    updated
  • i7 / owl

    A Java library for Omega-words, ω-automata and Linear Temporal Logic (LTL). Batteries included.

    4
    updated
  • vadere / vadere

    open VADERE project

    8
    updated
  • theochem / rtools

    Collection of useful tools for daily work in computational chemistry

    2
    updated