matthiaskrgr Goto Github PK

kani

Kani Rust Verifier

llvm_bootstrap

Script doing an optimized 2-stage bootstrap/build of llvm and clang. Includes llvm, clang, lld, lldb, polly, openmp, compiler-rt (sanitizers), clang-tools-extra

logic_py

script that plays around with logical expressions, heavily relying on sympy

miri

An interpreter for Rust's mid-level intermediate representation

misc

stuff

musikcube

a terminal-based cross-platform music player, audio engine, metadata indexer, and server in c++

neothyne

Engine and game

openvalidation

Compose validation rules in the language you use every day, openVALIDATION handles code creation for you.

openvalidation-docs

Documentation for openVALIDATION.

oxipng

PNG optimizer written in Rust

pacmanlog2gource

A bash script to convert a copy of /var/log/pacman.log into a log file allowing later visualisation using gource.

pk3squash

scripts to (un)compress .pk3s using some intermediate archive with .flif for png/tga and squashfs

pynstr

pyrelim

attempt to get relative import paths for python

raca

rust automated code analysis, inspired by cppchecks daca2: http://cppcheck.sourceforge.net/devinfo/daca2-report/daca2.html

recipes

bunch of ccoking recipes

ripgrep

ripgrep combines the usability of The Silver Searcher with the raw speed of grep.

rls

Repository for the Rust Language Server (aka RLS)

rust

A safe, concurrent, practical language.

rust-analyzer

An experimental Rust compiler front-end for IDEs

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code

rust-clippy2

test repo

rust-music-player

simple music player consisting mostly of ncurses and rodio crates

rust-str-bench

benchmarking different ways to print immutable strings

rustc-pr-tracking

Statistics about PRs on the rustc repository.

rustc_codegen_cranelift

Cranelift based backend for rustc

rustc_crashtest_lto

https://github.com/rust-lang/rust/issues/45689

rustfix

Automatically apply the suggestions made by rustc

rustfmt

Format Rust code

rustup

The Rust toolchain installer