Popular repositories Loading

1. cubical cubical Public

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

   Rust 3

2. zed-idris2-lsp zed-idris2-lsp Public

   Idris 2 language support for the Zed editor

   Tree-sitter Query 1

3. rust rust Public

   Forked from rust-lang/rust

   a safe, concurrent, practical language

   Rust

4. opengl_graphics opengl_graphics Public

   Forked from PistonDevelopers/opengl_graphics

   Modified to allow depth sorting

   Rust

5. agda-routing agda-routing Public

   Forked from MatthewDaggitt/agda-routing

   An Agda library for reasoning about network routing problems

   Agda

6. agda-codespace-template agda-codespace-template Public template

   Dockerfile