Skip to content
View cedihegi's full-sized avatar
  • Zürich

Highlights

  • Pro

Block or report cedihegi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

This is a minecraft clone made using the bevy game engine, you can watch the linesteams of it being made here https://www.youtube.com/playlist?list=PL6uRoaCCw7GPtfb4Xxue9NPNdd9ufXeVu

Rust 41 4 Updated Dec 1, 2024

Exercises for the Big Data lecture at ETH Zurich (Fall 2021)

Jupyter Notebook 131 347 Updated Dec 19, 2024

Yet another alternative curriculum vitae/résumé class with LaTeX

TeX 1,328 341 Updated Dec 16, 2024

A static verifier for Rust, based on the Viper verification infrastructure.

Rust 1,581 109 Updated Oct 21, 2024

Definition of the Viper intermediate verification language.

Scala 80 45 Updated Dec 22, 2024

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

Python 235 8 Updated Dec 4, 2024

Symbolic-execution-based verifier for the Viper intermediate verification language.

Scala 87 34 Updated Dec 22, 2024
Showing results