A
automata

  • Any
  • Batchfile
  • BibTeX
  • C
  • C++
  • Clean
  • CMake
  • Coq
  • CSS
  • Dockerfile
  • Haskell
  • HTML
  • Java
  • JavaScript
  • Jupyter Notebook
  • Makefile
  • MATLAB
  • Perl
  • PHP
  • PostScript
  • Python
  • R
  • Rust
  • Shell
  • TeX
  • TypeScript

Projects with this topic

Sort by:
  • Sort by
  • Updated date
  • Name
  • Name, descending
  • Oldest updated
  • Oldest created
  • Last created
  • Most stars
  • Hide archived projects
  • Show archived projects
  • Show archived projects only
  • View ons-hs project

    Joshua Moerman / ons-hs

    Implementation of the ONS (Ordered Nominal Sets) library in Haskell: https://github.com/Jaxan/ons-hs

    automata nominal sets dense linear...
    Archived 0
    Updated Feb 01, 2019
    Archived 0 0 0 0
    Updated Feb 01, 2019