Pinned Repositories
cakeml
CakeML: A Verified Implementation of ML
dafny
Dafny is a verification-aware programming language
dafny
Dafny is a verification-aware programming language
functional-pbd
Program synthesis in the visual programming environment Algot.
gobra-mode
Support for Gobra in emacs
parallel-lsst
Parallel implementation for finding low-stretch spanning trees.
raytracer
An (incomplete) implementation of a ray tracer based on the book The Ray Tracer Challenge.
traffic-simulation
Traffic simulation written in Python
gbbs
GBBS: Graph Based Benchmark Suite
gobra-libs
Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
dnezam's Repositories
dnezam/functional-pbd
Program synthesis in the visual programming environment Algot.
dnezam/dafny
Dafny is a verification-aware programming language
dnezam/gobra-mode
Support for Gobra in emacs
dnezam/parallel-lsst
Parallel implementation for finding low-stretch spanning trees.
dnezam/raytracer
An (incomplete) implementation of a ray tracer based on the book The Ray Tracer Challenge.
dnezam/traffic-simulation
Traffic simulation written in Python