dfava

Daniel Fava's repositories

A race detector for Golang

Language:PythonBSD-3-Clause12 30

Rubik's cube in Golang

Language:GoBSD-3-Clause9 2 1

Reading club on programming languages and formal methods

Language:Jupyter Notebook7 70

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

Language:C++5 20

Operational Semantics of a Weak Memory Model with Channel Synchronization

Language:PythonApache-2.02 20

Language:HTML1 20

3d cube in zig

Language:Zig000

WebGL frontend to a Rubik's cube

Language:JavaScript020

Slides on mu-calculus

Language:TeX020

Language:Python020

Game of Life in Python

Language:Python020

Game of Life in Scala

Language:Scala020

Hex board game in Scala

Language:ScalaApache-2.0020

Tic-tac-toe game exploring basic reinforcement learning

Language:Python020