Skip to content
@LearnLib

LearnLib

Pinned

  1. learnlib Public

    A free, open-source Java library for automata learning algorithms

    Java 165 50

  2. automatalib Public

    A free, open-source Java library for modeling automata, graphs, and transition systems

    Java 72 31

  3. alex Public

    Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automata learning

    Java 30 5

Repositories

  • alex Public

    Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automata learning

    Java 30 Apache-2.0 5 7 19 Updated Mar 8, 2023
  • automatalib Public

    A free, open-source Java library for modeling automata, graphs, and transition systems

    Java 72 Apache-2.0 31 3 0 Updated Feb 15, 2023
  • alex-cli Public

    A command line interface for running tests and learning experiments with ALEX

    JavaScript 2 Apache-2.0 0 1 2 Updated Dec 7, 2022
  • learnlib-sba Public

    Accompanying source code for the paper "From Languages to Behaviors and Back".

    Java 0 Apache-2.0 0 0 0 Updated Oct 27, 2022
  • learnlib Public

    A free, open-source Java library for automata learning algorithms

    Java 165 Apache-2.0 50 7 0 Updated Sep 12, 2022
  • learnlib-spa Public archive

    Accompanying source code for the paper "Compositional Learning of Mutually Recursive Procedural Systems"

    Java 1 Apache-2.0 0 0 0 Updated Nov 19, 2021
  • learnlib-profiling Public
    Java 0 0 0 0 Updated Oct 15, 2020
  • learnlib-studio Public

    The Next Generation LearnLib Studio

    Xtend 1 1 0 0 Updated Mar 16, 2020
  • raxml Public
    Java 0 0 0 0 Updated Apr 29, 2015
  • cav2015-demo Public archive
    Java 0 0 0 0 Updated Apr 26, 2015
View all repositories

Top languages

Loading…

Most used topics

Loading…