diff --git a/pkgs/by-name/tl/tlafmt/package.nix b/pkgs/by-name/tl/tlafmt/package.nix
new file mode 100644
index 000000000000..8a18c4ae4789
--- /dev/null
+++ b/pkgs/by-name/tl/tlafmt/package.nix
@@ -0,0 +1,29 @@
+{
+  rustPlatform,
+  lib,
+  fetchFromGitHub,
+}:
+rustPlatform.buildRustPackage rec {
+  pname = "tlafmt";
+  version = "0.3.0";
+
+  src = fetchFromGitHub {
+    owner = "domodwyer";
+    repo = "tlafmt";
+    tag = "v${version}";
+    hash = "sha256-jBY7erB2LuKwCkshVHLV5kFVRJ8lkT63z1gt1Tikei4=";
+  };
+
+  useFetchCargoVendor = true;
+
+  cargoHash = "sha256-765tp4wUh7G92vaoViufo6Kk2c/w2d1XjZ3aN5UUAv0=";
+
+  meta = with lib; {
+    description = "A formatter for TLA+ specs";
+    homepage = "https://github.com/domodwyer/tlafmt";
+    license = licenses.apsl20;
+    maintainers = with maintainers; [ ciflire ];
+    mainProgram = "tlafmt";
+  };
+}
+