markhakansson

lapce

Lightning-fast and Powerful Code Editor written in Rust

seaweedfs

SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, cross-DC active-active replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding.

focalboard

Focalboard is an open source, self-hosted alternative to Trello, Notion, and Asana.

difftastic

a structural diff that understands syntax 🟥🟩

zellij

A terminal workspace with batteries included

Infinite-Storage-Glitch

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

eww

ElKowars wacky widgets

git-cliff

A highly customizable Changelog Generator that follows Conventional Commit specifications ⛰️

Monocraft

A monospaced programming font inspired by the Minecraft typeface

flamegraph

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

hotspot

The Linux perf GUI for performance analysis.

smol

A small and fast async runtime for Rust

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

bacon

background rust code check

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

renode

Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems

cargo-zigbuild

Compile Cargo project with zig as linker

avr-hal

embedded-hal abstractions for AVR microcontrollers

cargo-outdated

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

cortex-m-quickstart

Template to develop bare metal applications for Cortex-M microcontrollers

schemars

Generate JSON Schema documents from Rust code

qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

openrr

Open Rust Robotics

lockbud

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

swayimg

Image viewer for Wayland

rust-rgb

struct RGB for sharing pixels between crates

tbot

Automation/Testing tool for Embedded Linux Development

tracing-mutex

A Mutex wrapper tracking acquisition order

galloc

ade791x-rs

Platform-agnostic Rust driver for the ADE7912/ADE7913 3-Channel, Isolated, Sigma-Delta ADC with SPI