There are no reviews yet. Be the first to send feedback to the community and the maintainers!
PiFramework
The Î framework aims at being a simple formal framework for compiler construction. It is comprised of Î IR and Î automata. The Î IR component is comprised of basic programming languages constructs whose semantics are formally specified in Î automata. To construct a compiler for a programming language one simply needs to define the Î denotations of the statements of the given programming language in terms of Î IR constructions.formal_languages
A few implementations of Formal Languages and Automata theory algorithms.BMaude
BMaude is a verification tool for B specifications written in the Abstract Machine Notation. The tool is implemented in the Maude language.CPSSources
credit-score
trie
notes-on-tdd
Notes on type-driven development in Idrised
Respositório com Jupyter notebboks para a disciplina de Estrutura de Dados.Love Open Source and this site? Check out how you can help us