All Categories → No Category → formal-languages

Top 5 formal-languages open source projects

Coq encoding of ZFC and formalization of the textbook Elements of Set Theory

✭ 55

Coq Makefile math coq theorem-proving set-theory formal-languages

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

✭ 31

TeX shell automata german regular-expression teaching complexity turing-machine theoretical-computer-science propositional-logic formal-languages teaching-materials

All the homeworks, studies and projects I've done at Metu-CENG

✭ 32

Jupyter Notebook c C++TeX python java opengl networking signal-processing computer-graphics embedded-systems coursework operating-systems formal-languages computer-security computer-organization logic-design metu-ceng metu

FLVIz - Finite Automata Simulator written in QT/Graphviz

✭ 36

HTML Roff c C++XSLT QMake state-machine simulation finite-state-machine formal-languages

Appunti di Linguaggi Formali e Compilatori - Prof.ssa P. Quaglia - Università di Trento

✭ 32

TeX Yacc Lex python shell Batchfile latex university compiler latex-document formal-languages appunti linguaggi-formali universit-di-trento appunti-lfc compilatori

1-5 of 5 formal-languages projects