Skip to content
View markhakansson's full-sized avatar
:shipit:
...
:shipit:
...

Sponsoring

@syncthing
@fosskers
@dtolnay
@Heroic-Games-Launcher
@varjolintu
@Deimos

Organizations

@prowrestling @rpa-tomorrow @GrepitAB

Block or report markhakansson

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Repository for the article Explaining Atomics in Rust

33 12 Updated Jan 13, 2020

You Suck at Programming - Dave Eddy

CSS 781 72 Updated Dec 18, 2025

Symbolic execution of compiled binaries

Rust 3 2 Updated Nov 23, 2025

Personal configuration files for my PC

Nix 197 5 Updated Dec 20, 2025

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

Rust 8,829 238 Updated Dec 19, 2025

A Nixpkgs module system usage pattern

167 4 Updated Dec 13, 2025

Nix overlay for Lean 4, and lake2nix

Nix 73 12 Updated Dec 17, 2025

Maliciously-Secure Multi-Party Computation (MPC) Engine using Authenticated Garbling

Rust 28 2 Updated Dec 17, 2025

Flakebox is to your Rust project dev environment, what NixOS is to your OS, or home-manager to your home directory.

Nix 138 9 Updated Nov 8, 2025

A calligraphic esolang

Python 276 2 Updated Nov 17, 2025

Run Rust files and expressions as scripts without any setup or compilation step.

Rust 1,532 48 Updated Aug 16, 2025

Kiri is a visual tool designed for reviewing schematics and layouts of KiCad projects that are version-controlled with Git.

Shell 623 40 Updated Apr 15, 2025

Manuels Anforderungs-Tracing

Rust 30 3 Updated Dec 17, 2025

A fast semantic linter for Nix using tree-sitter 🌳 + ❄️. [maintainers=@Artturin,@siraben]

Rust 164 8 Updated Nov 27, 2025

🍄 an alleged 'operating system'

Rust 695 28 Updated Nov 7, 2025

Eloquence in Messaging

Rust 136 21 Updated Dec 20, 2025

GIT utilities -- repo summary, repl, changelog population, author commit percentages and more

Shell 17,903 1,221 Updated Dec 18, 2025

🛠️ ❤️ Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 Flakes 吗?在寻找一份新手友好的教程?那你可来对地方了!

TypeScript 2,913 142 Updated Dec 1, 2025

Blazing 💥 fast terminal-ui for git written in rust 🦀

Rust 21,073 678 Updated Dec 18, 2025

Rusty Object Notation

Rust 3,788 143 Updated Dec 14, 2025

Space exploration, trading, and combat game.

C++ 7,005 1,185 Updated Dec 19, 2025

A flexible JSON/YAML linter for creating automated style guides, with baked in support for OpenAPI (v3.1, v3.0, and v2.0), Arazzo v1.0, as well as AsyncAPI v2.x.

TypeScript 2,938 270 Updated Dec 19, 2025

An open source documentation tool to bring discoverability to your architecture (DDD, micro-services, event-driven architectures)

TypeScript 2,489 224 Updated Dec 17, 2025

ShellCheck, a static analysis tool for shell scripts

Haskell 38,684 1,894 Updated Dec 15, 2025

Evolving the Prometheus exposition format into a standard.

Go 2,503 178 Updated Jun 2, 2025

Open Source Soldering Iron firmware

C 7,982 775 Updated Dec 15, 2025

OpenAPI Diff and Breaking Changes

Go 1,032 86 Updated Dec 4, 2025

Software for a custom Gamecube controller that uses Hall effect magnetic sensors to read the sticks.

C++ 196 59 Updated Nov 22, 2025

A Coq library for Homotopy Type Theory

Rocq Prover 1,362 199 Updated Nov 29, 2025

dev tools, env vars, task runner

Rust 22,283 775 Updated Dec 19, 2025
Next