Popular repositories Loading

1. cubical cubical Public

   A work-in-progress toy programming language with a cubical type system

   Rust 2

2. rust rust Public

   Forked from rust-lang/rust

   a safe, concurrent, practical language

   Rust

3. opengl_graphics opengl_graphics Public

   Forked from PistonDevelopers/opengl_graphics

   Modified to allow depth sorting

   Rust

4. agda-routing agda-routing Public

   Forked from MatthewDaggitt/agda-routing

   An Agda library for reasoning about network routing problems

   Agda

5. agda-codespace-template agda-codespace-template Public template

   Dockerfile

6. agda-unimath agda-unimath Public

   Forked from UniMath/agda-unimath

   Univalent mathematics in Agda

   Makefile