Skip to content
@LearnLib

LearnLib

Pinned

  1. learnlib learnlib Public

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

    Java 198 52

  2. automatalib automatalib Public

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

    Java 88 34

  3. alex alex Public

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

    Java 34 5

  4. learnlib.github.io learnlib.github.io Public

    The source code of the learnlib.de website

    SCSS

Repositories

Showing 10 of 21 repositories
  • ralib Public
    Java 4 Apache-2.0 1 7 2 Updated Jun 3, 2024
  • automatalib Public

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

    Java 88 Apache-2.0 34 2 0 Updated May 26, 2024
  • learnlib Public

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

    Java 198 Apache-2.0 52 5 0 Updated Mar 19, 2024
  • learnlib.github.io Public

    The source code of the learnlib.de website

    SCSS 0 Apache-2.0 0 0 0 Updated Mar 14, 2024
  • ralib-benchmarking Public
    TeX 0 0 0 1 Updated Feb 7, 2024
  • build-tools Public

    Build tools (mostly annotation processors) for LearnLib-related projects

    Java 0 Apache-2.0 0 0 0 Updated Jan 19, 2024
  • alex Public

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

    Java 34 Apache-2.0 5 10 3 Updated Oct 8, 2023
  • learnlib-sba Public archive

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

    Java 0 Apache-2.0 0 0 0 Updated Sep 25, 2023
  • alex-cli Public archive

    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-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
View all repositories

Top languages

Loading…

Most used topics

Loading…