Plugin to improve viewing Markdown files in Neovim

Empowering everyone to build reliable and efficient software.

My solutions to Software Foundations course in Coq proof assistant.

Tuta is an email service with a strong focus on security and privacy that lets you encrypt emails, contacts and calendar entries on all your devices.

Python for AutoCAD

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

ot-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

⚡ A curated list of awesome Svelte resources

Open Source Development Platform for building robust type-safe distributed systems with declarative infrastructure

Terraform provider for managing MinIO S3 buckets and IAM Users.

goship.it - Go + Templ + HTMX component library