Пожалуйста, включите JavaScript.
Главная
Помощь
Регистрация
Вход
research
/
automata
Следить
1
В избранное
0
Форкнуть
0
Код
Задачи
0
Pull Request'ы
0
Релизы
0
Вики
Активность
Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
idris
Вы не можете выбрать более 25 тем
Темы должны начинаться с буквы или цифры, могут содержать дефисы(-) и должны содержать не более 35 символов.
5
коммитов
1
ветка
ветка:
master
master
веток
Теги
${ item.name }
Создать ветку
${ searchTerm }
из 'master'
${ noResults }
automata
HTTPS
ZIP
TAR.GZ
Nicolas Lenz
56ab21640d
Refactoring, get rid of graph stuff
5 месяцев назад
Data
Refactoring, get rid of graph stuff
5 месяцев назад
.gitignore
Initial commit
6 месяцев назад
Main.idr
Refactoring, get rid of graph stuff
5 месяцев назад
README.md
Add readme
6 месяцев назад
README.md
Automata
Stuff for automata (DFA, NFA, ε-NFA) written in Idris.