Daniel Nezamabadi's repositories
functional-pbd
Program synthesis in the visual programming environment Algot.
dafny
Dafny is a verification-aware programming language
Language:C#NOASSERTION000
gobra-mode
Support for Gobra in emacs
Language:Emacs LispMPL-2.0000
parallel-lsst
Parallel implementation for finding low-stretch spanning trees.
Language:C++MIT000
raytracer
An (incomplete) implementation of a ray tracer based on the book The Ray Tracer Challenge.
Language:Rust000
traffic-simulation
Traffic simulation written in Python
Language:PythonGPL-3.0000