Popular repositories Loading

1. calibrator-ovgu calibrator-ovguPublic

   A tool for manual calibration of LiDAR data. Written as a software project during summer term 2023 at OVGU Magdeburg.

   C++ 1

2. xi-editor xi-editorPublic

   Forked from xi-editor/xi-editor

   A modern editor with a backend written in Rust.

   Rust

3. Idris2 Idris2Public

   Forked from idris-lang/Idris2

   A purely functional programming language with first class types

   Idris

4. rust rustPublic

   Forked from rust-lang/rust

   Empowering everyone to build reliable and efficient software.

   Rust

5. compiler-builtins compiler-builtinsPublic

   Forked from rust-lang/compiler-builtins

   Porting `compiler-rt` intrinsics to Rust

   Rust 1

6. rust-clippy rust-clippyPublic

   Forked from rust-lang/rust-clippy

   A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

   Rust