MCPcopy Create free account
hub / github.com/cs-au-dk/dk.brics.automaton

github.com/cs-au-dk/dk.brics.automaton @main

Chat with this repo
repository ↗ · DeepWiki ↗ · + Follow
352 symbols 1,029 edges 20 files 246 documented · 70% ● updated 11mo ago★ 24610 open issues

Browse by type

⨍ Functions 324◇ Types & classes 28
What it actually does AI analysis from the code graph — generated when you open this
loading…

Extension points exported contracts — how you extend this code

browse all types & interfaces →

Core symbols most depended-on inside this repo

browse all functions →

Shape

Method 324
Class 26
Enum 1
Interface 1

Languages

Java100%

Modules by API surface

src/dk/brics/automaton/Automaton.java90 symbols
src/dk/brics/automaton/RegExp.java40 symbols
src/dk/brics/automaton/MinimizationOperations.java27 symbols
src/dk/brics/automaton/BasicAutomata.java25 symbols
src/dk/brics/automaton/StringUnionOperations.java22 symbols
src/dk/brics/automaton/SpecialOperations.java20 symbols
src/dk/brics/automaton/Datatypes.java17 symbols
src/dk/brics/automaton/BasicOperations.java17 symbols
src/dk/brics/automaton/State.java15 symbols
src/dk/brics/automaton/RunAutomaton.java15 symbols
src/dk/brics/automaton/AutomatonMatcher.java14 symbols
src/dk/brics/automaton/Transition.java11 symbols

For agents

$ claude mcp add dk.brics.automaton \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

Ask about this repo answers extend the page