Skip to content

loochek/formal

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

15 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

libformal

Requires libfmt (libfmt-dev package in Ubuntu)

There are following CMake targets:

  • libformal - static library
  • playground - libformal playground
  • hw4 - automata from HW4. Generates a lot of pictures which are referred by my HW4 solutions.
  • tests - tests powered by gtest
  • regexp - practical task 2 CLI runner
  • earley - Earley algorithm CLI runner

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors