dnezam

Master's student in Computer Science at ETH Zurich.

Pinned Repositories

cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML943 45 47681
dafny
Dafny is a verification-aware programming language
Language:C#2.9k 79 2.7k255
dafny
Dafny is a verification-aware programming language
Language:C#00
functional-pbd
Program synthesis in the visual programming environment Algot.
Language:Python1 1 00
gobra-mode
Support for Gobra in emacs
Language:Emacs Lisp00
parallel-lsst
Parallel implementation for finding low-stretch spanning trees.
Language:C++00
raytracer
An (incomplete) implementation of a ray tracer based on the book The Ray Tracer Challenge.
Language:Rust00
traffic-simulation
Traffic simulation written in Python
Language:Python00
gbbs
GBBS: Graph Based Benchmark Suite
Language:C++195 13 1758
gobra-libs
Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
Language:Python2 2 81

dnezam's Repositories

dnezam/functional-pbd
Program synthesis in the visual programming environment Algot.
Language:Python1 1 00
dnezam/dafny
Dafny is a verification-aware programming language
Language:C#00
dnezam/gobra-mode
Support for Gobra in emacs
Language:Emacs Lisp00
dnezam/parallel-lsst
Parallel implementation for finding low-stretch spanning trees.
Language:C++00
dnezam/raytracer
An (incomplete) implementation of a ray tracer based on the book The Ray Tracer Challenge.
Language:Rust00
dnezam/traffic-simulation
Traffic simulation written in Python
Language:Python00