Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with word-problems
A curated list of projects in awesome lists tagged with word-problems .
https://github.com/curegit/knuth-bendix-completion
クヌース・ベンディックス完備化アルゴリズムの OCaml 実装
automated-theorem-provers term-rewriting word-problems
Last synced: 17 Nov 2024
https://github.com/felixklauke/deterministic-finite-automaton
Minimalistic deterministic finite automaton for my university class and for learning go, capable of running simple word acceptance tests. Not feature complete and only for educational reasons.
acceptance-testing deterministic-finite-automata dfa golang word-problems
Last synced: 08 Nov 2024
