Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
research / automata
0 0

Stuff for automata (DFA, NFA, ε-NFA) written in Idris.

Updated 7 months ago