Repositories list

• ralib

  Public
  Java

  •

  Apache License 2.0

  •2•4•7•3•Updated Nov 12, 2024Nov 12, 2024

• learnlib.github.io

  Public
  The source code of the learnlib.de website

  SCSS

  •

  Apache License 2.0

  •0•0•0•0•Updated Nov 9, 2024Nov 9, 2024

• learnlib

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

  javamachine-learningjava-library+ 1automata-learning-algorithms

  Java

  •

  Apache License 2.0

  •54•207•6•0•Updated Oct 2, 2024Oct 2, 2024

• automatalib

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

  javaautomatagraph+ 2java-librarytransition-systems

  Java

  •

  Apache License 2.0

  •34•93•2•0•Updated Aug 26, 2024Aug 26, 2024

• alex

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

  machine-learningweb-applicationautomata-learning-algorithms+ 4automata-learningjavaseleniumlearnlib

  Java

  •

  Apache License 2.0

  •5•36•10•3•Updated Aug 5, 2024Aug 5, 2024

• ralib-benchmarking

  Public
  TeX

  •0•0•0•1•Updated Feb 7, 2024Feb 7, 2024

• build-tools

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

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Jan 19, 2024Jan 19, 2024

• learnlib-sba

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

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Sep 25, 2023Sep 25, 2023

• alex-cli

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

  JavaScript

  •

  Apache License 2.0

  •0•2•1•2•Updated Dec 7, 2022Dec 7, 2022

• learnlib-spa

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

  Java

  •

  Apache License 2.0

  •0•1•0•0•Updated Nov 19, 2021Nov 19, 2021

• learnlib-profiling

  Public
  Java

  •0•0•0•0•Updated Oct 15, 2020Oct 15, 2020

• learnlib-studio

  Public
  The Next Generation LearnLib Studio

  Xtend

  •1•1•0•0•Updated Mar 16, 2020Mar 16, 2020

• raxml

  Public
  Java

  •

  Other

  •0•0•0•0•Updated Apr 29, 2015Apr 29, 2015

• cav2015-demo

  Public archive
  Java

  •0•0•0•0•Updated Apr 26, 2015Apr 26, 2015

• cav2015-example

  Public archive
  Example project to be used in the context of the CAV2015 Demo

  Java

  •2•3•0•0•Updated Apr 26, 2015Apr 26, 2015

• learnlib-jlearn

  Public
  Makes the algorithms of the old, closed-source LearnLib available in the new framework.

  Java

  •0•0•0•0•Updated Apr 26, 2015Apr 26, 2015

• learnlib-libalf

  Public
  LibAlf algorithms for LearnLib

  Java

  •2•0•0•0•Updated Apr 26, 2015Apr 26, 2015

• learnlib-rest-example

  Public
  Example for learning a RESTful web service

  Java

  •0•1•0•0•Updated Mar 30, 2015Mar 30, 2015

• learnlib-libalf-native

  Public
  Native bridge between LearnLib and libalf

  C++

  •

  GNU Lesser General Public License v3.0

  •1•0•0•0•Updated Mar 25, 2015Mar 25, 2015

• learnlib-ttt

  Public archive
  GNU General Public License v3.0

  •1•4•0•0•Updated Jun 17, 2014Jun 17, 2014

• learnlib-ase2013-tutorial

  Public archive
  Java

  •0•0•0•0•Updated Nov 11, 2013Nov 11, 2013