Submit Software
  1. Home
  2. Windows
  3. Other
  4. MAF (Monoid Automata Factory)
  5. Download

MAF (Monoid Automata Factory)

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes

ABOUT MAF (Monoid Automata Factory)

A reworking in C++ of KBMAG. A package and C++ library for computing automatic structures and confluent rewriting system for group and coset rewriting systems, and for computing with finite state automata

Related Programs

  • FFTW_Ada Free

    FFTW_Ada is an Ada 95 binding to the FFTW library written at MIT by Matteo Frigo and Steven G. Johnson. FFTW is written in C. FFTW_Ada allows calls to FFTW from an Ada 95 or 2005 program. FFTW_Ada v2 works with FFTW v3. FFTW_

  • Opengrade Class Management System Free

    A java gradebook application with a PostgreSQL database designed to make life easy for teachers to keep track of classes and student grades, including support for multiple classes, weighted categories in which assignments are

  • Tiler Durden Free

    A library in C++ for analysing landscape continuous data as if it is discrete.

  • Riyad us Saliheen Free Trial

    Riyadus Saliheen is a book of hadith collection compiled by Imam An-Nawawi who was the great scholar of Hadith and Fiqh of his time. This application presents this book (Ryadus Salihin) in a great way to read from android mob

  • Urdu Qaidah Free

    Learn basic URDU alphabets in an interactive way. Letters, pictures and sound make learning easy and fast. Happy learning !

  • Thai English Free

    Thai English dictionaryThai Dictionary easy for translate Thai to English and English to Thai.You can search for English language meaning from Thai vocabulary quickly.File is smaller. Display the meaning of vocabulary. You c

  • KOTEL Free Free

    The KOTEL application allows you in a single click, to find the exact direction of the Holy Western Wall of Jerusalem.You can then compose a message and send it to KOTEL, it will be printed and placed between the stones of th

  • CREWorks Free

    Cis-Regulatory analysis modules.Includes frequenc/weight matrices scanning at genome level, annotation by using DB access to ensembl, genekeydb, etc. and visualization (through Bioperl or as custom UCSC tracks). May include

  • chIP-Seq Free

    The ChIP-seq software provides methods for the analysis of ChIP-seq data and other types of mass genome annotation data.

  • IGBM Free

    IGBM (Identification of gene blocks in microorganisms) implements a BLAST-like method to infer conserved gene clusters among closely related prokaryotes, and provides a graphical user interface to navigate the identified clus