Discover @ChristianoBraga Open Source projects

Christiano Braga (@ChristianoBraga)

ChristianoBraga

Stars
20
Global Rank 637,627 (Top 23 %)
Followers 13
Following 3
Registered almost 8 years ago
Most used languages

Python
37.5 %

Idris 12.5 %

C
12.5 %

JavaScript
12.5 %

Jupyter Notebook
12.5 %

Shell
12.5 %
Location 🇧🇷 Brazil
Country Total Rank 15,366
Country Ranking

Idris 4

Shell
2,606

Python
2,665

Jupyter Notebook
5,061

C
5,746

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

zeek

trie

notes-on-tdd

Notes on type-driven development in Idris

ed

Respositório com Jupyter notebboks para a disciplina de Estrutura de Dados.

Jupyter Notebook