Discover @dfava Open Source projects

Daniel Fava (@dfava)

dfava

Stars
36
Global Rank 429,851 (Top 15 %)
Followers 10
Following 43
Registered over 10 years ago
Most used languages

Python
33.3 %

Go
16.7 %

C++
16.7 %

HTML
16.7 %

Jupyter Notebook
16.7 %
Location 🇳🇴 Norway
Country Total Rank 1,907
Country Ranking

Go
158

Jupyter Notebook
167

C++
365

Python
578

HTML
790

grace

A race detector for Golang

cube

Rubik's cube in Golang

readingclub

Reading club on programming languages and formal methods

Jupyter Notebook

command

Very simple information flow aware compiler with Flex, Bison, LLVM, C/C++

mmgo

Operational Semantics of a Weak Memory Model with Channel Synchronization

dfava.github.io