OpenTofu lets you declaratively manage your cloud infrastructure.

Mac setup and configuration via Ansible.

A verification toolchain for Rust programs

Source code of Ferrocene, safety-critical Rust toolchain

A collection of awesome browser extensions for GitHub.

Adds interactive maps to Obsidian.md using Leaflet.js

An unobtrusive Obsidian plugin that quietly processes equations and patterns in real time

Obsidian 🤝 Neovim

This is an enhancing export plugin base on Pandoc for Obsidian (https://obsidian.md/ ). It's allow you to export to formats like Markdown、Markdown (Hugo https://gohugo.io/ )、Html、docx、Latex etc.

tapiriik keeps your fitness in sync

A (companion) plugin to facilitate the extraction of text from images (OCR) and PDFs.

A launch point for your personal nvim configuration

Lazy module importer for Jupyter

A fully open source & end-to-end encrypted note taking alternative to Evernote.

Small changes make vim/nvim's internal terminal great again !!

Define and run multi-container applications with Docker

The Docker CLI

The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems

Scala language server with rich IDE features 🚀

A cross-platform command-line utility that creates projects from cookiecutters (project templates), e.g. Python package projects, C projects.

Tiny SBT plugin for running shell actions

Manage docker images, containers in Vim

Vim plugin wrapping docker-compose

My NixOS configuration (DEPRECATED)

A framework for creating a Bash CLI application.

🔆 Highlight bracket pair plugin for intellij

Download the Sumo Logic Live Tail CLI tool.