Skip to content
View JLaumen's full-sized avatar
5 followers · 0 following

Highlights

  • Pro

Block or report JLaumen

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. weighted-automata weighted-automata Public

    A Python library for using weighted finite automata.

    Python

  2. AALpyLSharpSquare AALpyLSharpSquare Public

    Forked from CodingLonne/AALpyLSharpSquare

    An extension of the Aalpy library with the algorithms LSharpSquare, which allows for unknown membership queries.

    Python

  3. aalpy_compatibility aalpy_compatibility Public

    Python

  4. LSharpSquare LSharpSquare Public

    Python

  5. code_dump code_dump Public

  6. l-sharp-square-algorithm l-sharp-square-algorithm Public

    Python (AALpy) implementation of the LSharpSquare algorithm for the active learning of minimal separating automata by Jasper Laumen, Leonne Snel, and Frits Vaandrager.

    Python