himito

Hyprdots

annotated_latex_equations

Examples of how to create colorful, annotated equations in Latex using Tikz.

vscode-IMITATOR

IMITATOR language support for VS code

coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

aeneas

A verification toolchain for Rust programs

hax

A Rust verification tool

kani

Kani Rust Verifier

creusot

Creusot helps you prove your code is correct in an automated fashion.

sylvan-sys

Low-level Rust bindings for the Sylvan parallel decision diagram library.

IMITATOR-library

Work on IMITATOR library v2

ruff-vscode

A Visual Studio Code extension with support for the Ruff linter.

pixi

Package management made easy

vgrep

a user-friendly pager for grep

fem-dl

Frontend Masters Course Downloader That actually works.

rustaceanvim

Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim

IJava

A Jupyter kernel for executing Java code.

ultimate-beamer-theme-list

A collection of Beamer themes from the community

dot

☕️ My Dot Files

jupyterlab

📊 Soothing pastel theme for JupyterLab

codemirror

🪞 Soothing pastel theme for CodeMirror5

vim

🧋 Soothing pastel theme for Vim

iterm

🍭 Soothing pastel theme for iTerm2

alacritty

🌴 Soothing pastel theme for Alacritty

tmux

💽 Soothing pastel theme for Tmux!

ruff

An extremely fast Python linter and code formatter, written in Rust.

Euterpe

A web-based template for hosting systems for real-time music HCI.

distrobox

Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available at: https://gitlab.com/89luca89/distrobox

lazydocker

The lazier way to manage everything docker

onyxia

🔬 Data science environment for k8s

metrics-server

Scalable and efficient source of container resource metrics for Kubernetes built-in autoscaling pipelines.