markhakansson

Mark Hakansson's starred repositories

awesome-selfhosted

A list of Free Software network services and web applications which can be hosted on your own servers

NOASSERTION189054 2459 804

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustApache-2.031710 86 2253

penpot

Penpot: The open-source design tool for design and code collaboration

Language:ClojureMPL-2.029682 212 1494

pulumi

Pulumi - Infrastructure as Code in any programming language 🚀

Language:GoApache-2.020622 194 7278

zellij

A terminal workspace with batteries included

Language:RustMIT19882 105 1872

Infinite-Storage-Glitch

ISG lets you use YouTube as cloud storage for ANY files, not just video

Language:RustGPL-3.011271 108 60

eww

ElKowars wacky widgets

Language:RustMIT8896 45 688

engineering-management

A collection of inspiring resources related to engineering management and tech leadership

Language:ShellMIT7438 254 3

dufs

A file server that supports static serving, uploading, searching, accessing control, webdav...

Language:RustNOASSERTION5537 39 230

dafny

Dafny is a verification-aware programming language

Language:C#NOASSERTION2853 80 2654

validator

Simple validation for Rust structs

Language:RustMIT1908 17 199

cargo-dist

📦 shippable application packaging

Language:RustApache-2.01353 7 420

cargo-outdated

A cargo subcommand for displaying when Rust dependencies are out of date

Language:RustMIT1180 19 193

cargo-semver-checks

Scan your Rust crate for semver violations.

Language:RustApache-2.01064 11 258

advisory-db

Security advisory database for Rust crates published through crates.io

NOASSERTION892 45 253

cargo-mommy

Mommy's here to support you when running cargo~

Language:RustApache-2.0679 8 33

cargo-auditable

Make production Rust binaries auditable

Language:RustApache-2.0609 19 88

CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Language:RustMIT602 8 9

SwayOSD

A GTK based on screen display for keyboard shortcuts like caps-lock and volume

Language:RustGPL-3.0512 6 58

calver

📅 The web's go-to resource for Calendar Versioning info.

Language:CSSNOASSERTION491 13 35

lockbud

Statically detect memory, concurrency bugs and possible panic locations for Rust.

Language:RustBSD-3-Clause411 11 23

coq-of-rust

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

Language:CoqAGPL-3.0365 10 250

terraform-provider-minio

Terraform provider for managing MinIO S3 buckets and IAM Users.

Language:GoAGPL-3.0229 9 113

riscv-rust-quickstart

A template for building Rust applications for HiFive1 boards

Language:Rust206 16 13

zerover

0️⃣ Minimalist versioning scheme for devs who can't be bothered.

Language:CSSNOASSERTION196 4 90

aeneas

A verification toolchain for Rust programs

Language:OCamlApache-2.0167 5 108

cyclonedx-rust-cargo

Creates CycloneDX Software Bill of Materials (SBOM) from Rust (Cargo) projects

Language:RustApache-2.079 11 93

charon

Interface with the rustc compiler for the purpose of program verification

Language:RustApache-2.066 6 96

tracing-mutex

A Mutex wrapper tracking acquisition order

Language:RustApache-2.065 2 10

cargo-bom

Bill of Materials for Rust Crates

Language:RustMIT14 6 6