🏙 A clean, dark Neovim theme written in Lua, with support for lsp, treesitter and lots of plugins. Includes additional themes for Kitty, Alacritty, iTerm and Fish.

Eclipse iceoryx2™ - true zero-copy inter-process-communication in pure Rust

A Zsh theme

A GitHub Action that implements smart caching for rust/cargo projects

DMTCP: Distributed MultiThreaded CheckPointing

Lustre file system clone. The main repo is git://git.whamcloud.com/fs/lustre-release.git

A cat(1) clone with wings.

A modern replacement for ‘ls’.

This is a mirror of https://gitlab.inria.fr/starpu/starpu where our development happens, but contributions are welcome here too!

Berkeley Lab Checkpoint/Restart for Linux

Examples and tests to verify an ULFM Fault Tolerant MPI implementation

Very-Low Overhead Checkpointing System

Azure HPC/AI VM Images

OpenHPC Integration, Packaging, and Test Repo

Powerful SQL migration toolkit for Rust.

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

🧰 Toolkit for creating virtual clusters with public cloud resources

I am trying to describe complex matters in simple doodles!

Zero-ETL, infinite possibilities. Live query APIs, code & more with SQL. No DB required.

A Rust library for the Discord API.

Sliding-mode position controller (for ball inside a vertical air-tube). Implementation on MATLAB Simulink. Work done at undergrad dynamical systems course (2019).

A tutorial demonstrating how to code and deploy Rust serverless actions on IBM Cloud Functions

Vim-fork focused on extensibility and usability

MPI programming lessons in C and executable code examples

The Rust OpenTelemetry implementation

a script to run docker-compose.yml using podman

An integrated shell for working with the AWS CLI.

AMReX: Software Framework for Block Structured AMR

Production-Grade Container Scheduling and Management

Pyramid - A Python web framework