Niklas Medinger's repositories
ray-tracing-weekend
My implementation of `Ray Tracing in One Weekend` in Rust.
Language:Rust000
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Language:HaskellGPL-3.0000
manual
Tamarin prover manual: source files
Language:JavaScript000